Hoare triples (English, noun)
expansion: Hoare triples
Senses:
glosses: plural of Hoare triple
tags: form-of
plural
Forms: