Assertion: contract | /r/HasProperty | crucial
Facets:
value: to software correctness
type: PURPOSE
Source sentences:
text: However, DbC considers these contracts to be so crucial to software correctness that they should be part of the design process.