Preface to special issue on software verification

Authors:
C. A. R. Hoare;Jayadev Misra
Affiliations:
Microsoft Research Labs, Cambridge, UK;University of Texas at Austin, Austin, TX
Venue:
ACM Computing Surveys (CSUR)
Year:
2009

Citing 0
Cited 2

Usable verification of object-oriented programs by combining static and dynamic techniques

SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Heedless programming: ignoring detectable error is a widespread hazard

Software—Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract