Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
The ACL2 Sedan Theorem Proving System
TACAS, 2011.
@inproceedings{TACAS-2011-ChamarthiDMV,
author = "Harsh Raju Chamarthi and Peter C. Dillinger and Panagiotis Manolios and Daron Vroon",
booktitle = "{Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-19835-9_27",
isbn = "978-3-642-19834-2",
pages = "291--295",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The ACL2 Sedan Theorem Proving System}",
volume = 6605,
year = 2011,
}
Tags: