The Verified Software Initiative: A Manifesto

Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar. The Verified Software Initiative: A Manifesto. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 81-92, ACM / Morgan & Claypool, 2021. [doi]

Abstract

Abstract is missing.