en postcondition (n) |
― RelatedTo ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en hoare triple (n) |
― RelatedTo ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en postcondition (n) |
― RelatedTo ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en postconditional (a) |
― RelatedTo ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en postcondition (n) |
― RelatedTo ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en design by contract (n) |
― RelatedTo ⟶
Weight: 1.0
|
|
Source: English Wiktionary |