Back to Results
First PageMeta Content
Formal methods / Computer law / Copyleft / Automated theorem proving / Logic in computer science / Isabelle / SPASS / KeY / QuickCheck / Theoretical computer science / Mathematical software / Software


Overview COMP 4161 NICTA Advanced Course Automatic Proof and Disproof
Add to Reading List

Document Date: 2014-11-10 04:09:39


Open Document

File Size: 464,62 KB

Share Result on Facebook
UPDATE