Pages that link to "Item:Q793507"
From MaRDI portal
The following pages link to Partial correctness: The term-wise approach (Q793507):
Displaying 5 items.
- An elementary and unified approach to program correctness (Q607408) (← links)
- Secure mechanical verification of mutually recursive procedures (Q1887136) (← links)
- General correctness: A unification of partial and total correctness (Q2265798) (← links)
- An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II (Q4454299) (← links)
- Mechanical verification of mutually recursive procedures (Q4647514) (← links)