%0 Conference Paper %1 conf/cpp/DoddsA13 %A Dodds, Josiah %A Appel, Andrew W. %B CPP %D 2013 %E Gonthier, Georges %E Norrish, Michael %I Springer %K dblp %P 17-32 %T Mostly Sound Type System Improves a Foundational Program Verifier. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2013.html#DoddsA13 %V 8307 %@ 978-3-319-03544-4

@inproceedings{conf/cpp/DoddsA13, added-at = {2020-06-15T00:00:00.000+0200}, author = {Dodds, Josiah and Appel, Andrew W.}, biburl = {https://www.bibsonomy.org/bibtex/214937ada8765249652f0784b3608d7b3/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2013}, editor = {Gonthier, Georges and Norrish, Michael}, ee = {https://doi.org/10.1007/978-3-319-03545-1_2}, interhash = {b4c1b792b645b2f746dd511171d2c4bd}, intrahash = {14937ada8765249652f0784b3608d7b3}, isbn = {978-3-319-03544-4}, keywords = {dblp}, pages = {17-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:34:07.000+0200}, title = {Mostly Sound Type System Improves a Foundational Program Verifier.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2013.html#DoddsA13}, volume = 8307, year = 2013 }