| 
|
Quote: produced a simple proof by adding run-time checks to all routines that modified file structures
topics >
all references >
references a-b >
Topic:
run-time assertions
Quotation Skeleton
A proof of adequacy was provided for the … ". By means of isolating those routines which … simple proof of Q was obtained. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: run-time assertions (25 items)