Related terms
- en hoare logic (n) ➜
- en code ➜
- en command ➜
- en computation ➜
- en description ➜
- en execution ➜
- en formal ➜
- en hoare logic ➜
- en postcondition ➜
- en precondition ➜
Types of hoare triple
- en description ➜
- en triple ➜
Word forms
- en hoare triples (n) ➜
Links to other resources
- en.wiktionary.org Hoare triple
