| 
|
Quote: program verification sees types as behavioral invariants that instances of the type must satisfy
topics >
all references >
references t-z >
Topic:
abstract data type
Topic:
data types in Thesa
Quotation Skeleton
Verification view: Types determine behavioral invariants that instances … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: abstract data type (64 items)
Topic: data types in Thesa (92 items)