Pages that link to "Item:Q4082983"
From MaRDI portal
The following pages link to An axiomatic basis for proving total correctness of goto-programs (Q4082983):
Displaying 6 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Verifying programs by induction on their data structure: general format and applications (Q1050765) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- Axiomatic proofs of total correctness of programs (Q1257332) (← links)
- Current methods for proving program correctness (Q3911363) (← links)
- An axiomatic basis for proving total correctness of goto-programs (Q4082983) (← links)