@techreport{JacobsP08,
	Author = {B. Jacobs and F. Piessens},
	Institution = {Katholieke Universiteit Leuven},
	Number = {CW520},
	Title = {The {VeriFast} program verifier},
	Year = 2008}

{"_id":"6ms7AEsCm3wvQNQgR","bibbaseid":"jacobs-piessens-theverifastprogramverifier-2008","authorIDs":[],"author_short":["Jacobs, B.","Piessens, F."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["B."],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"institution":"Katholieke Universiteit Leuven","number":"CW520","title":"The VeriFast program verifier","year":"2008","bibtex":"@techreport{JacobsP08,\n\tAuthor = {B. Jacobs and F. Piessens},\n\tInstitution = {Katholieke Universiteit Leuven},\n\tNumber = {CW520},\n\tTitle = {The {VeriFast} program verifier},\n\tYear = 2008}\n\n","author_short":["Jacobs, B.","Piessens, F."],"key":"JacobsP08","id":"JacobsP08","bibbaseid":"jacobs-piessens-theverifastprogramverifier-2008","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.517Z","downloads":0,"keywords":[],"search_terms":["verifast","program","verifier","jacobs","piessens"],"title":"The VeriFast program verifier","year":2008,"dataSources":["7Z8XEkSJX2s636QcA"]}