Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps. Directed Proof Generation for Machine Code. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 288-305, Springer, 2010. [doi]
@inproceedings{ThakurLLBDEAR10,
title = {Directed Proof Generation for Machine Code},
author = {Aditya V. Thakur and Junghee Lim and Akash Lal and Amanda Burton and Evan Driscoll and Matt Elder and Tycho Andersen and Thomas W. Reps},
year = {2010},
doi = {10.1007/978-3-642-14295-6_27},
url = {http://dx.doi.org/10.1007/978-3-642-14295-6_27},
tags = {code generation},
researchr = {https://researchr.org/publication/ThakurLLBDEAR10},
cites = {0},
citedby = {0},
pages = {288-305},
booktitle = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
editor = {Tayssir Touili and Byron Cook and Paul Jackson},
volume = {6174},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14294-9},
}