Pages that link to "Item:Q913478"
From MaRDI portal
The following pages link to Proving total correctness of recursive procedures (Q913478):
Displaying 4 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Calculating sharp adaptation rules. (Q1607103) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (Q2802468) (← links)
