%0 Conference Paper %1 conf/cav/RepsLTBL10 %A Reps, Thomas W. %A Lim, Junghee %A Thakur, Aditya V. %A Balakrishnan, Gogul %A Lal, Akash %B CAV %D 2010 %E Touili, Tayssir %E Cook, Byron %E Jackson, Paul B. %I Springer %K dblp %P 41-56 %T There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. %U http://dblp.uni-trier.de/db/conf/cav/cav2010.html#RepsLTBL10 %V 6174 %@ 978-3-642-14294-9

@inproceedings{conf/cav/RepsLTBL10, added-at = {2018-10-03T00:00:00.000+0200}, author = {Reps, Thomas W. and Lim, Junghee and Thakur, Aditya V. and Balakrishnan, Gogul and Lal, Akash}, biburl = {https://www.bibsonomy.org/bibtex/2d4d4d4d2dd12e4bfdc61497b6aecd70a/dblp}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.}, ee = {https://doi.org/10.1007/978-3-642-14295-6_6}, interhash = {cd00f4bf0a6c29856707067a2618810a}, intrahash = {d4d4d4d2dd12e4bfdc61497b6aecd70a}, isbn = {978-3-642-14294-9}, keywords = {dblp}, pages = {41-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:39:28.000+0200}, title = {There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#RepsLTBL10}, volume = 6174, year = 2010 }