Publications

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