@inproceedings{VeriFast,
	Author = {Jacobs,B. and Smans,J. and Philippaerts,P. and Vogels,F. and Penninckx,W. and Piessens,F.},
	Booktitle = {NFM},
	Title = {{VeriFast: A powerful, sound, predictable, fast verifier for C and Java}},
	Year = {2011}}

{"_id":"XrZSpMXAZ5qQFjbhh","bibbaseid":"jacobs-smans-philippaerts-vogels-penninckx-piessens-verifastapowerfulsoundpredictablefastverifierforcandjava-2011","downloads":0,"creationDate":"2018-08-29T13:17:52.238Z","title":"VeriFast: A powerful, sound, predictable, fast verifier for C and Java","author_short":["Jacobs, B.","Smans, J.","Philippaerts, P.","Vogels, F.","Penninckx, W.","Piessens, F."],"year":2011,"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Jacobs"],"firstnames":["B."],"suffixes":[]},{"propositions":[],"lastnames":["Smans"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Philippaerts"],"firstnames":["P."],"suffixes":[]},{"propositions":[],"lastnames":["Vogels"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Penninckx"],"firstnames":["W."],"suffixes":[]},{"propositions":[],"lastnames":["Piessens"],"firstnames":["F."],"suffixes":[]}],"booktitle":"NFM","title":"VeriFast: A powerful, sound, predictable, fast verifier for C and Java","year":"2011","bibtex":"@inproceedings{VeriFast,\n\tAuthor = {Jacobs,B. and Smans,J. and Philippaerts,P. and Vogels,F. and Penninckx,W. and Piessens,F.},\n\tBooktitle = {NFM},\n\tTitle = {{VeriFast: A powerful, sound, predictable, fast verifier for C and Java}},\n\tYear = {2011}}\n\n","author_short":["Jacobs, B.","Smans, J.","Philippaerts, P.","Vogels, F.","Penninckx, W.","Piessens, F."],"key":"VeriFast","id":"VeriFast","bibbaseid":"jacobs-smans-philippaerts-vogels-penninckx-piessens-verifastapowerfulsoundpredictablefastverifierforcandjava-2011","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["verifast","powerful","sound","predictable","fast","verifier","java","jacobs","smans","philippaerts","vogels","penninckx","piessens"],"keywords":[],"authorIDs":["5b869cff119f791000000043"],"dataSources":["7Z8XEkSJX2s636QcA"]}