%0 Conference Paper %1 conf/sas/HarrenN05 %A Harren, Matthew %A Necula, George C. %B SAS %D 2005 %E Hankin, Chris %E Siveroni, Igor %I Springer %K dblp %P 155-170 %T Using Dependent Types to Certify the Safety of Assembly Code. %U http://dblp.uni-trier.de/db/conf/sas/sas2005.html#HarrenN05 %V 3672 %@ 3-540-28584-9

@inproceedings{conf/sas/HarrenN05, added-at = {2017-05-24T00:00:00.000+0200}, author = {Harren, Matthew and Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/2e5b3e031184c2a98d90a25c619da2dfc/dblp}, booktitle = {SAS}, crossref = {conf/sas/2005}, editor = {Hankin, Chris and Siveroni, Igor}, ee = {https://doi.org/10.1007/11547662_12}, interhash = {b71947f093d6bfb3a7b13ca9a9be9fa2}, intrahash = {e5b3e031184c2a98d90a25c619da2dfc}, isbn = {3-540-28584-9}, keywords = {dblp}, pages = {155-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:57.000+0200}, title = {Using Dependent Types to Certify the Safety of Assembly Code.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2005.html#HarrenN05}, volume = 3672, year = 2005 }