The verified software initiative

A manifesto

مقال من تأليف: Hoare, C. A. R. ; Misra, Jayadev ; Leavens, Gary T. ; Shankar, Natarajan ;