@article{DBLP:journals/sttt/HuismanKMT17,
  author    = {Marieke Huisman and Vladimir Klebanov and Rosemary Monahan and Michael Tautschnig},
  title     = {VerifyThis 2015 - {A} program verification competition},
  journal   = {{STTT}},
  volume    = {19},
  number    = {6},
  pages     = {763--771},
  year      = {2017},
  url       = {https://link.springer.com/article/10.1007/s10009-016-0438-x}
}

{"_id":"HjHHvCHdWXyug5PWb","bibbaseid":"huisman-klebanov-monahan-tautschnig-verifythis2015aprogramverificationcompetition-2017","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M.","Klebanov, V.","Monahan, R.","Tautschnig, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Klebanov"],"suffixes":[]},{"firstnames":["Rosemary"],"propositions":[],"lastnames":["Monahan"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Tautschnig"],"suffixes":[]}],"title":"VerifyThis 2015 - A program verification competition","journal":"STTT","volume":"19","number":"6","pages":"763–771","year":"2017","url":"https://link.springer.com/article/10.1007/s10009-016-0438-x","bibtex":"@article{DBLP:journals/sttt/HuismanKMT17,\n author = {Marieke Huisman and Vladimir Klebanov and Rosemary Monahan and Michael Tautschnig},\n title = {VerifyThis 2015 - {A} program verification competition},\n journal = {{STTT}},\n volume = {19},\n number = {6},\n pages = {763--771},\n year = {2017},\n url = {https://link.springer.com/article/10.1007/s10009-016-0438-x}\n}\n\n","author_short":["Huisman, M.","Klebanov, V.","Monahan, R.","Tautschnig, M."],"key":"DBLP:journals/sttt/HuismanKMT17","id":"DBLP:journals/sttt/HuismanKMT17","bibbaseid":"huisman-klebanov-monahan-tautschnig-verifythis2015aprogramverificationcompetition-2017","role":"author","urls":{"Paper":"https://link.springer.com/article/10.1007/s10009-016-0438-x"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.025Z","downloads":0,"keywords":[],"search_terms":["verifythis","2015","program","verification","competition","huisman","klebanov","monahan","tautschnig"],"title":"VerifyThis 2015 - A program verification competition","year":2017,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}