Skip to main content

Preface to special issue on software verification

C. A. R. Hoare and Jayadev Misra

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