Harvey M. Friedman. Perspectives on formal verification (invited talk). In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 1, ACM, 2016. [doi]
@inproceedings{Friedman16,
title = {Perspectives on formal verification (invited talk)},
author = {Harvey M. Friedman},
year = {2016},
doi = {10.1145/2854065.2858808},
url = {http://doi.acm.org/10.1145/2854065.2858808},
researchr = {https://researchr.org/publication/Friedman16},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
editor = {Jeremy Avigad and Adam Chlipala},
publisher = {ACM},
isbn = {978-1-4503-4127-1},
}