Preface to special issue on software verification

ACM Computing Surveys

Volumn 41, Issue 4, 2009, Pages

  Hoare, C A R ^a   Misra, Jayadev ^b  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70350212823     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/1592434.1592435     Document Type: Editorial

References (0)