Floyd-Hoare logics (English, noun)
expansion: Floyd-Hoare logics
Senses:
glosses: plural of Floyd-Hoare logic
tags: form-of
plural
Forms: