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

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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 464,62 KB