| 
|
Quote: an intermittent assertion holds at least once when control is at that point
topics >
all references >
references m-o >
Topic:
program proof via assertions
Quotation Skeleton
In the method we are about to introduce, … sometime control will pass through the point and … .we call these assertions intermittent assertions. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)