Pages that link to "Item:Q3919063"
From MaRDI portal
The following pages link to Corrigendum: Soundness and Completeness of an Axiom System for Program Verification (Q3919063):
Displaying 6 items.
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- Hoare's logic for programming languages with two data types (Q1056220) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics (Q5097622) (← links)
