A Quick Tour of the VeriFast Program Verifier. Jacobs, B., Smans, J., & Piessens, F. In APLAS, volume 6461, of Lecture Notes in Computer Science, pages 304–311, 2010. Springer. bibtex @inproceedings{DBLP:conf/aplas/JacobsSP10,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens},
title = {A Quick Tour of the VeriFast Program Verifier},
booktitle = {{APLAS}},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {304--311},
publisher = {Springer},
year = {2010}
}
Downloads: 0
{"_id":"kJkWZAmw4q9Jq6gGm","bibbaseid":"jacobs-smans-piessens-aquicktouroftheverifastprogramverifier-2010","downloads":0,"creationDate":"2018-08-29T13:17:52.252Z","title":"A Quick Tour of the VeriFast Program Verifier","author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"year":2010,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bart"],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Smans"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"title":"A Quick Tour of the VeriFast Program Verifier","booktitle":"APLAS","series":"Lecture Notes in Computer Science","volume":"6461","pages":"304–311","publisher":"Springer","year":"2010","bibtex":"@inproceedings{DBLP:conf/aplas/JacobsSP10,\n author = {Bart Jacobs and\n Jan Smans and\n Frank Piessens},\n title = {A Quick Tour of the VeriFast Program Verifier},\n booktitle = {{APLAS}},\n series = {Lecture Notes in Computer Science},\n volume = {6461},\n pages = {304--311},\n publisher = {Springer},\n year = {2010}\n}\n\n","author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"key":"DBLP:conf/aplas/JacobsSP10","id":"DBLP:conf/aplas/JacobsSP10","bibbaseid":"jacobs-smans-piessens-aquicktouroftheverifastprogramverifier-2010","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["quick","tour","verifast","program","verifier","jacobs","smans","piessens"],"keywords":[],"authorIDs":["5b869cff119f791000000043"],"dataSources":["cjvMqzGsyByuD9JLe"]}