Menu

Magnus O. Myreen

1 published title

Formal verification of machine-code programs

1 edition

  • ISBN: 9781906124816
  • University of Cambridge, Computer Laboratory, Trinity College
  • 2008
  • Details

obnb.uk is a Good Stuff website.