| 
|
Quote: uses accents to distinguish the value of x before and after execution
topics >
all references >
references g-h >
Topic:
requirement specification by assertion
Quotation Skeleton
Let x be a variable. We denote the … termination by .xAcute. (pronounced "x out"). For example, … behavior of a computer that increases the value … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: requirement specification by assertion (28 items)