| 
|
Quote: a specification in Clear consists of declarations followed by an expression made of theory-building operations
topics >
all references >
references a-b >
Topic:
requirement specification by assertion
Quotation Skeleton
We will call our proposed specification language "Clear". … expression. The expression denotes a theory, not explicitly … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: requirement specification by assertion (28 items)