@techreport{HuismanMonahanMueller2017_1000077160,
author       = {Huisman, Marieke and Monahan, Rosemary and Müller, Peter and Mostowski, Wojciech and Ulbrich, Mattias},
year         = {2017},
title        = {VerifyThis 2017 : A Program Verification Competition},
doi         = {10.5445/IR/1000077160},
institution  = {Karlsruher Institut für Technologie (KIT)},
issn         = {2190-4782},
series       = {Karlsruhe Reports in Informatics},
pagetotal    = {9},
language     = {english},
volume       = {2017},
number       = {10},
url={https://publikationen.bibliothek.kit.edu/1000077160}
}

{"_id":"yGaNFzhmgNmFmAkMC","bibbaseid":"huisman-monahan-mller-mostowski-ulbrich-verifythis2017aprogramverificationcompetition-2017","authorIDs":[],"author_short":["Huisman, M.","Monahan, R.","Müller, P.","Mostowski, W.","Ulbrich, M."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Monahan"],"firstnames":["Rosemary"],"suffixes":[]},{"propositions":[],"lastnames":["Müller"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Mostowski"],"firstnames":["Wojciech"],"suffixes":[]},{"propositions":[],"lastnames":["Ulbrich"],"firstnames":["Mattias"],"suffixes":[]}],"year":"2017","title":"VerifyThis 2017 : A Program Verification Competition","doi":"10.5445/IR/1000077160","institution":"Karlsruher Institut für Technologie (KIT)","issn":"2190-4782","series":"Karlsruhe Reports in Informatics","pagetotal":"9","language":"english","volume":"2017","number":"10","url":"https://publikationen.bibliothek.kit.edu/1000077160","bibtex":"@techreport{HuismanMonahanMueller2017_1000077160,\nauthor = {Huisman, Marieke and Monahan, Rosemary and Müller, Peter and Mostowski, Wojciech and Ulbrich, Mattias},\nyear = {2017},\ntitle = {VerifyThis 2017 : A Program Verification Competition},\ndoi = {10.5445/IR/1000077160},\ninstitution = {Karlsruher Institut für Technologie (KIT)},\nissn = {2190-4782},\nseries = {Karlsruhe Reports in Informatics},\npagetotal = {9},\nlanguage = {english},\nvolume = {2017},\nnumber = {10},\nurl={https://publikationen.bibliothek.kit.edu/1000077160}\n}\n\n","author_short":["Huisman, M.","Monahan, R.","Müller, P.","Mostowski, W.","Ulbrich, M."],"key":"HuismanMonahanMueller2017_1000077160","id":"HuismanMonahanMueller2017_1000077160","bibbaseid":"huisman-monahan-mller-mostowski-ulbrich-verifythis2017aprogramverificationcompetition-2017","role":"author","urls":{"Paper":"https://publikationen.bibliothek.kit.edu/1000077160"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-08-05T16:36:34.483Z","downloads":0,"keywords":[],"search_terms":["verifythis","2017","program","verification","competition","huisman","monahan","müller","mostowski","ulbrich"],"title":"VerifyThis 2017 : A Program Verification Competition","year":2017,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}