Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein Isar
Add to Reading List
Document Date: 2014-11-10 04:09:39
Open Document
File Size: 78,24 KB
Share Result on Facebook
Company
Creative Commons /
/
Person
Toby Murray /
/
Product
Isar! 7 A /
/
ProgrammingLanguage
Lambda Calculus /
C /
/
SocialTag
Mathematical logic
Proof theory
Logic
Computer law
Intellectual property law
Creative Commons
Mathematical proof
Copyright law of the United States
Natural deduction
Open content