Assertion: data type | /r/ObjectUse | used in program verification
Facets:
value: less strictly, in design
type: OTHER
Source sentences:
text: Abstract data types are used in formal semantics and program verification and, less strictly, in design.