Hal Wasserman
Hal Wasserman and Manuel Blum.
Software reliability via run-time result-checking.
Journal of the ACM
, 44(6):826-849, November 1997.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database