%0 Conference Paper %1 conf/nfm/Appel12 %A Appel, Andrew W. %B NASA Formal Methods %D 2012 %E Goodloe, Alwyn %E Person, Suzette %I Springer %K dblp %P 2 %T Verified Software Toolchain. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#Appel12 %V 7226 %@ 978-3-642-28890-6

@inproceedings{conf/nfm/Appel12, added-at = {2017-05-25T00:00:00.000+0200}, author = {Appel, Andrew W.}, biburl = {https://www.bibsonomy.org/bibtex/27dc98d62592e9810bb6dd0d8c9aa7fad/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2012}, editor = {Goodloe, Alwyn and Person, Suzette}, ee = {https://doi.org/10.1007/978-3-642-28891-3_2}, interhash = {2a94ae4e8cf37000c5fc5a37e333e76c}, intrahash = {7dc98d62592e9810bb6dd0d8c9aa7fad}, isbn = {978-3-642-28890-6}, keywords = {dblp}, pages = 2, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:10:40.000+0200}, title = {Verified Software Toolchain.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#Appel12}, volume = 7226, year = 2012 }