@article{DBLP:journals/sttt/0002SP15,
  author    = {Bart Jacobs and
               Jan Smans and
               Frank Piessens},
  title     = {Solving the VerifyThis 2012 challenges with VeriFast},
  journal   = {{STTT}},
  volume    = {17},
  number    = {6},
  pages     = {659--676},
  year      = {2015}
}

{"_id":"GbPLPtNCqmNjfYgAu","bibbaseid":"jacobs-smans-piessens-solvingtheverifythis2012challengeswithverifast-2015","downloads":0,"creationDate":"2018-08-29T13:17:52.120Z","title":"Solving the VerifyThis 2012 challenges with VeriFast","author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"year":2015,"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Bart"],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Smans"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"title":"Solving the VerifyThis 2012 challenges with VeriFast","journal":"STTT","volume":"17","number":"6","pages":"659–676","year":"2015","bibtex":"@article{DBLP:journals/sttt/0002SP15,\n author = {Bart Jacobs and\n Jan Smans and\n Frank Piessens},\n title = {Solving the VerifyThis 2012 challenges with VeriFast},\n journal = {{STTT}},\n volume = {17},\n number = {6},\n pages = {659--676},\n year = {2015}\n}\n\n","author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"key":"DBLP:journals/sttt/0002SP15","id":"DBLP:journals/sttt/0002SP15","bibbaseid":"jacobs-smans-piessens-solvingtheverifythis2012challengeswithverifast-2015","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["solving","verifythis","2012","challenges","verifast","jacobs","smans","piessens"],"keywords":[],"authorIDs":[],"dataSources":["cjvMqzGsyByuD9JLe"]}