The verified software initiative: A manifesto (ACM Comput. Surv., 2009)

(untitled) - Hoare, C; Misra, J; Leavens, G; Shankar, N