ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
The verified software initiative: A manifesto
Full text PdfPdf (66 KB)
Source
ACM Computing Surveys (CSUR) archive
Volume 41 ,  Issue 4  (October 2009) table of contents
Article No. 22  
Year of Publication: 2009
ISSN:0360-0300
Authors
C.A.R. Hoare  Microsoft Research
Jayadev Misra  The University of Texas at Austin
Gary T. Leavens  Iowa State University
Natarajan Shankar  SRI International Computer Science Laboratory
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 370,   Downloads (12 Months): 370,   Citation Count: 0
Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1592434.1592439
What is a DOI?

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player