×

zbMATH — the first resource for mathematics

Floyd-Hoare logic in iteration theories. (English) Zbl 0799.68042

MSC:
68N17 Logic programming
68Q60 Specification and verification (program logics, model checking, etc.)
03B70 Logic in computer science
PDF BibTeX XML Cite
Full Text: DOI