@inproceedings{VeriFastJacobs,
	Author = {B. Jacobs and J. Smans and F. Piessens},
	Booktitle = {VSTTE workshop on Tools \& Experiments},
	Month = {August},
	Title = {{VeriFast}: Imperative Programs as Proofs},
	Year = {2010}}

{"_id":"psRzSWXwf9qqojp3R","bibbaseid":"jacobs-smans-piessens-verifastimperativeprogramsasproofs-2010","authorIDs":[],"author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["B."],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Smans"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"booktitle":"VSTTE workshop on Tools & Experiments","month":"August","title":"VeriFast: Imperative Programs as Proofs","year":"2010","bibtex":"@inproceedings{VeriFastJacobs,\n\tAuthor = {B. Jacobs and J. Smans and F. Piessens},\n\tBooktitle = {VSTTE workshop on Tools \\& Experiments},\n\tMonth = {August},\n\tTitle = {{VeriFast}: Imperative Programs as Proofs},\n\tYear = {2010}}\n\n","author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"key":"VeriFastJacobs","id":"VeriFastJacobs","bibbaseid":"jacobs-smans-piessens-verifastimperativeprogramsasproofs-2010","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.603Z","downloads":0,"keywords":[],"search_terms":["verifast","imperative","programs","proofs","jacobs","smans","piessens"],"title":"VeriFast: Imperative Programs as Proofs","year":2010,"dataSources":["7Z8XEkSJX2s636QcA"]}