Menu

Markus Wenzel

1 published title

Isabelle/HOL : a proof assistant for higher-order logic

(Contributor)

1 edition

  • ISBN: 3540433767
  • Springer
  • 2002
  • Details

obnb.uk is a Good Stuff website.