## John Harrison

*Theorem Proving for Verification*

CAV, 2008.

@inproceedings{CAV-2008-Harrison, author = "John Harrison", booktitle = "{Proceedings of the 20th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-70545-1_4", isbn = "978-3-540-70543-7", pages = "11--18", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Theorem Proving for Verification}", volume = 5123, year = 2008, }