Related terms
- en design by contract (n) ➜
- en hoare triple (n) ➜
- en condition ➜
- en execution ➜
- en precondition ➜
- en postconditional (a) ➜
Word forms
- en postconditions (n) ➜
Links to other resources
- en.wiktionary.org postcondition
See Copying and Sharing ConceptNet for more details.