Menu

Olga Lightfoot

1 published title

Testing the automation of real arithmetic in a theorem prover: PVS

1 edition

  • Queen Mary University of London, Department of Computer Science
  • Details

obnb.uk is a Good Stuff website.