%0 Conference Paper %1 conf/plpv/BronishS11 %A Bronish, Derek %A Smith, Hampton %B PLPV %D 2011 %E Jhala, Ranjit %E Swierstra, Wouter %I ACM %K dblp %P 27-30 %T Robust, generic, modularly-verified map: a software verification challenge problem. %U http://dblp.uni-trier.de/db/conf/plpv/plpv2011.html#BronishS11 %@ 978-1-4503-0487-0

@inproceedings{conf/plpv/BronishS11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bronish, Derek and Smith, Hampton}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/218df15747e1c59b7ac096fb9e2d38857/dblp}, booktitle = {PLPV}, crossref = {conf/plpv/2011}, editor = {Jhala, Ranjit and Swierstra, Wouter}, ee = {https://doi.org/10.1145/1929529.1929533}, interhash = {09ece112e19e83bbccf030abc4a616b9}, intrahash = {18df15747e1c59b7ac096fb9e2d38857}, isbn = {978-1-4503-0487-0}, keywords = {dblp}, pages = {27-30}, publisher = {ACM}, timestamp = {2019-09-27T19:03:16.000+0200}, title = {Robust, generic, modularly-verified map: a software verification challenge problem.}, url = {http://dblp.uni-trier.de/db/conf/plpv/plpv2011.html#BronishS11}, year = 2011 }