%0 Conference Paper %1 conf/essos/ArcherLH13 %A Archer, Myla %A Leonard, Elizabeth I. %A Heitmeyer, Constance L. %B ESSoS %D 2013 %E Jürjens, Jan %E Livshits, Benjamin %E Scandariato, Riccardo %I Springer %K dblp %P 171-180 %T Idea: Writing Secure C Programs with SecProve. %U http://dblp.uni-trier.de/db/conf/essos/essos2013.html#ArcherLH13 %V 7781 %@ 978-3-642-36562-1

@inproceedings{conf/essos/ArcherLH13, added-at = {2017-06-02T00:00:00.000+0200}, author = {Archer, Myla and Leonard, Elizabeth I. and Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/249368183ccb393ac1f720b3377aaffde/dblp}, booktitle = {ESSoS}, crossref = {conf/essos/2013}, editor = {Jürjens, Jan and Livshits, Benjamin and Scandariato, Riccardo}, ee = {https://doi.org/10.1007/978-3-642-36563-8_12}, interhash = {d9ed9efcd21f5f723694298bf695b0de}, intrahash = {49368183ccb393ac1f720b3377aaffde}, isbn = {978-3-642-36562-1}, keywords = {dblp}, pages = {171-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:02:51.000+0200}, title = {Idea: Writing Secure C Programs with SecProve.}, url = {http://dblp.uni-trier.de/db/conf/essos/essos2013.html#ArcherLH13}, volume = 7781, year = 2013 }