Floyd-Hoare logic (English, noun)
expansion: Floyd-Hoare logic (countable and uncountable, plural Floyd-Hoare logics)
Senses:
glosses: Synonym of Hoare logic.
tags: countable
uncountable
Forms:
form: Floyd-Hoare logics
tags: plural