Assertion: assertion | /r/ObjectUse | used by c. a. r. hoare
Facets:
value: in his 1969 article
type: TEMPORAL
Source sentences:
text: The example above uses the notation for including assertions used by C. A. R. Hoare in his 1969 article.
text: The example above uses the notation for including assertions used by C. A. R. Hoare in his 1969 article.