Floyd-Hoare Logic in Iteration Theories

Stephen L. Bloom, Zoltán Ésik

Research output: Contribution to journalArticle

15 Citations (Scopus)

Fingerprint Dive into the research topics of 'Floyd-Hoare Logic in Iteration Theories'. Together they form a unique fingerprint.