Consequence Verification of Flowcharts

From MaRDI portal

Revision as of 19:57, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3893268

Jump to:navigation, search

DOI10.1109/TSE.1981.234508zbMath0447.68007MaRDI QIDQ3893268

K. L. Clark, Maarten H. Van Emden

Publication date: 1981

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

logic programming program verification flowcharts inductive assertions subgoal induction consequence verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

This page was built for publication: Consequence Verification of Flowcharts

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3893268&oldid=17540929"