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]
Abstract is missing.