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
C. A. R. Hoare‚ Jayadev Misra‚ Gary T. Leavens and Natarajan Shankar