Software reliability via run-time result-checking
- Hal Wasserman
- , Manuel Blum
Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
134
Link opens in a new tab
Citations
(Scopus)