×

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