Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Preface to special issue on software verification

Preface to special issue on software verification

C. A. R. Hoare and Jayadev Misra

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

Links

See Also

Back to Top