| 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 | ||