Publications

Found 1 results
Author Title Type [ Year(Desc)]
Filters: Keyword is result checking and Author is Manuel E. Blum  [Clear All Filters]
1994
Blum, M. E., & Wasserman H. (1994).  Software Reliability via Run-Time Result-Checking.