## John Harrison

*High-Level Verification Using Theorem Proving and Formalized Mathematics*

CADE, 2000.

@inproceedings{CADE-2000-Harrison, author = "John Harrison", booktitle = "{Proceedings of the 17th International Conference on Automated Deduction}", doi = "10.1007/10721959_1", isbn = "3-540-67664-3", pages = "1--6", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{High-Level Verification Using Theorem Proving and Formalized Mathematics}", volume = 1831, year = 2000, }