Floyd-Hoare Logic in Iteration Theories

Stephen L. Bloom, Zoltán Ésik

Research output: Article

15 Citations (Scopus)
Original languageEnglish
Pages (from-to)887-934
Number of pages48
JournalJournal of the ACM (JACM)
Volume38
Issue number4
DOIs
Publication statusPublished - jan. 10 1991

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Information Systems
  • Hardware and Architecture
  • Artificial Intelligence

Cite this