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
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java Bart Jacobs, Jan Smans? , Pieter Philippaerts, Fr´ed´eric Vogels, Willem Penninckx, and Frank Piessens Department of Computer Science, Leuven, Belg
Add to Reading List
Document Date: 2011-10-17 02:58:18
Open Document
File Size: 184,53 KB
Share Result on Facebook
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java Bart Jacobs, Jan Smans? , Pieter Philippaerts, Fr´ed´eric Vogels, Willem Penninckx, and Frank Piessens Department of Computer Science, Leuven, Belg