Back to Results
First PageMeta Content
Applied mathematics / Formal methods / Automated theorem proving / ACL2 / Lisp programming language / Formal verification / Michael J. C. Gordon / HOL / Mathematical logic / Theoretical computer science / Mathematics / Logic in computer science


Document Date: 2009-09-28 15:59:09

Open Document

File Size: 467,06 KB

Share Result on Facebook
UPDATE