Skip to main content

The verified software initiative: A manifesto

C. A. R. Hoare‚ Jayadev Misra‚ Gary T. Leavens and Natarajan Shankar

Journal
ACM Comput. Surv.
Number
4
Volume
41
Year
2009