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 {}
Add to Reading List
Document Date: 2014-11-10 04:09:39
Open Document
File Size: 89,68 KB
Share Result on Facebook
Company
Bendix /
Creative Commons /
/
Person
Toby Murray /
/
ProgrammingLanguage
Lambda Calculus /
C /
/
SocialTag
Logic
Computability theory
Lambda calculus
Theoretical computer science
Mathematical proof
Constructible universe
Creative Commons
Mathematics
Mathematical logic
Open content