C. A. R. Hoare
Index Terms
Preface to special issue on software verification
research-article
Preface to special issue on software verification
- Authors:
- C. A. R. Hoare,
- Jayadev Misra
ACM Computing SurveysVolume 41Issue 4October 2009 Article No.: 18pp 1–3https://doi.org/10.1145/1592434.1592435
- Get Citation Alerts
This alert has been successfully added and will be sent to:
You will be notified whenever a record that you have chosen has been cited.
Please log in to your account
- Save to Binder
- Export Citation
- Publisher Site
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
Published in
Copyright © 2009 ACM
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Online: 9 October 2009
- Published: 9 October 2009
Permissions
Request permissions about this article.
Request PermissionsQualifiers
- research-article
- Research
- Refereed
Article Metrics
- View Citations14Total Citations
- 1,659Total Downloads
- Downloads (Last 12 months)19
- Downloads (Last 6 weeks)7
Other Metrics
Comments