%0 Conference Paper %1 conf/esop/ConditHAGN07 %A Condit, Jeremy %A Harren, Matthew %A Anderson, Zachary R. %A Gay, David %A Necula, George C. %B ESOP %D 2007 %E Nicola, Rocco De %I Springer %K dblp %P 520-535 %T Dependent Types for Low-Level Programming. %U http://dblp.uni-trier.de/db/conf/esop/esop2007.html#ConditHAGN07 %V 4421 %@ 978-3-540-71314-2

@inproceedings{conf/esop/ConditHAGN07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Condit, Jeremy and Harren, Matthew and Anderson, Zachary R. and Gay, David and Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/26a065203e8c1bd9803a637f7e67a2199/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2007}, editor = {Nicola, Rocco De}, ee = {https://doi.org/10.1007/978-3-540-71316-6_35}, interhash = {4b6ad28035e20d9c279ae41b2ac09438}, intrahash = {6a065203e8c1bd9803a637f7e67a2199}, isbn = {978-3-540-71314-2}, keywords = {dblp}, pages = {520-535}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:48.000+0200}, title = {Dependent Types for Low-Level Programming.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2007.html#ConditHAGN07}, volume = 4421, year = 2007 }