DMCA

Software reliability via run-time result-checking (1997)

by Hal Wasserman , Manuel Blum
Venue:J. ACM
Citations:124 - 2 self