The following pages link to (Q4136512):
Displaying 4 items.
- ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs (Q689297) (← 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)
- Application of modal logic to programming (Q1150592) (← links)
