%0 Conference Paper %1 conf/popl/Muller15 %A Müller, Peter %B PLMW@POPL %D 2015 %I ACM %K dblp %P 3:1 %T Building automatic program verifiers. %U http://dblp.uni-trier.de/db/conf/popl/plmw2015.html#Muller15 %@ 978-1-4503-3299-6

@inproceedings{conf/popl/Muller15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Müller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/289e74fe379f20df4f4b2a43b03f7aab5/dblp}, booktitle = {PLMW@POPL}, crossref = {conf/popl/2015plmw}, ee = {https://doi.org/10.1145/2792434.2792437}, interhash = {3feb7665d82176468b1c95ce11a73a19}, intrahash = {89e74fe379f20df4f4b2a43b03f7aab5}, isbn = {978-1-4503-3299-6}, keywords = {dblp}, pages = {3:1}, publisher = {ACM}, timestamp = {2018-11-07T16:22:10.000+0100}, title = {Building automatic program verifiers.}, url = {http://dblp.uni-trier.de/db/conf/popl/plmw2015.html#Muller15}, year = 2015 }