The verified software initiative

A manifesto

Article Ecrit par: Hoare, C. A. R. ; Misra, Jayadev ; Leavens, Gary T. ; Shankar, Natarajan ;