On the Organisation of Program Verification Competitions. Huisman, M., Klebanov, V., & Monahan, R. In Klebanov, V., Beckert, B., Biere, A., & Sutcliffe, G., editors, COMPARE, volume 873, of CEUR Workshop Proceedings, pages 50-59, 2012. CEUR-WS.org. Link Paper bibtex @inproceedings{conf/cade/HuismanKM12,
added-at = {2019-05-28T00:00:00.000+0200},
author = {Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary},
biburl = {https://www.bibsonomy.org/bibtex/26667ad591b0b616544fea6b9d63eeef8/dblp},
booktitle = {COMPARE},
crossref = {conf/cade/2012compare},
editor = {Klebanov, Vladimir and Beckert, Bernhard and Biere, Armin and Sutcliffe, Geoff},
ee = {http://ceur-ws.org/Vol-873/papers/paper_2.pdf},
interhash = {f341798202a90205877fecadb47165fe},
intrahash = {6667ad591b0b616544fea6b9d63eeef8},
keywords = {dblp},
pages = {50-59},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2019-05-29T12:08:41.000+0200},
title = {On the Organisation of Program Verification Competitions.},
url = {http://dblp.uni-trier.de/db/conf/cade/compare2012.html#HuismanKM12},
volume = 873,
year = 2012
}
Downloads: 0
{"_id":"CmbrDqf46s5FqdvcX","bibbaseid":"huisman-klebanov-monahan-ontheorganisationofprogramverificationcompetitions-2012","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M.","Klebanov, V.","Monahan, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-05-28T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Klebanov"],"firstnames":["Vladimir"],"suffixes":[]},{"propositions":[],"lastnames":["Monahan"],"firstnames":["Rosemary"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/26667ad591b0b616544fea6b9d63eeef8/dblp","booktitle":"COMPARE","crossref":"conf/cade/2012compare","editor":[{"propositions":[],"lastnames":["Klebanov"],"firstnames":["Vladimir"],"suffixes":[]},{"propositions":[],"lastnames":["Beckert"],"firstnames":["Bernhard"],"suffixes":[]},{"propositions":[],"lastnames":["Biere"],"firstnames":["Armin"],"suffixes":[]},{"propositions":[],"lastnames":["Sutcliffe"],"firstnames":["Geoff"],"suffixes":[]}],"ee":"http://ceur-ws.org/Vol-873/papers/paper_2.pdf","interhash":"f341798202a90205877fecadb47165fe","intrahash":"6667ad591b0b616544fea6b9d63eeef8","keywords":"dblp","pages":"50-59","publisher":"CEUR-WS.org","series":"CEUR Workshop Proceedings","timestamp":"2019-05-29T12:08:41.000+0200","title":"On the Organisation of Program Verification Competitions.","url":"http://dblp.uni-trier.de/db/conf/cade/compare2012.html#HuismanKM12","volume":"873","year":"2012","bibtex":"@inproceedings{conf/cade/HuismanKM12,\n added-at = {2019-05-28T00:00:00.000+0200},\n author = {Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary},\n biburl = {https://www.bibsonomy.org/bibtex/26667ad591b0b616544fea6b9d63eeef8/dblp},\n booktitle = {COMPARE},\n crossref = {conf/cade/2012compare},\n editor = {Klebanov, Vladimir and Beckert, Bernhard and Biere, Armin and Sutcliffe, Geoff},\n ee = {http://ceur-ws.org/Vol-873/papers/paper_2.pdf},\n interhash = {f341798202a90205877fecadb47165fe},\n intrahash = {6667ad591b0b616544fea6b9d63eeef8},\n keywords = {dblp},\n pages = {50-59},\n publisher = {CEUR-WS.org},\n series = {CEUR Workshop Proceedings},\n timestamp = {2019-05-29T12:08:41.000+0200},\n title = {On the Organisation of Program Verification Competitions.},\n url = {http://dblp.uni-trier.de/db/conf/cade/compare2012.html#HuismanKM12},\n volume = 873,\n year = 2012\n}\n\n","author_short":["Huisman, M.","Klebanov, V.","Monahan, R."],"editor_short":["Klebanov, V.","Beckert, B.","Biere, A.","Sutcliffe, G."],"key":"conf/cade/HuismanKM12","id":"conf/cade/HuismanKM12","bibbaseid":"huisman-klebanov-monahan-ontheorganisationofprogramverificationcompetitions-2012","role":"author","urls":{"Link":"http://ceur-ws.org/Vol-873/papers/paper_2.pdf","Paper":"http://dblp.uni-trier.de/db/conf/cade/compare2012.html#HuismanKM12"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.027Z","downloads":0,"keywords":["dblp"],"search_terms":["organisation","program","verification","competitions","huisman","klebanov","monahan"],"title":"On the Organisation of Program Verification Competitions.","year":2012,"dataSources":["sAaBbgDRpNpcvbGWj"]}