Assertion: specification | /r/HasProperty | formal
Facets:
value: with users
type: OTHER
value: in the sense
type: OTHER
Source sentences:
text: These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
text: Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.