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 1
Add to Reading List
Document Date: 2014-11-10 04:09:39
Open Document
File Size: 115,23 KB
Share Result on Facebook
Company
Creative Commons /
/
Person
Toby Murray /
/
Position
General /
/
ProgrammingLanguage
Lambda Calculus /
C /
/
SocialTag
Computer law
Intellectual property law
Computing
Procedural programming languages
Data types
Creative Commons
Attribution
NICTA
List
Open content