Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}