Fingerprint Dive into the research topics of 'On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution