Pages that link to "Item:Q4131611"
From MaRDI portal
The following pages link to Generic commands--a tool for partial correctness formalisms (Q4131611):
Displaying 5 items.
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- On the notion of expressiveness and the rule of adaptation (Q1838825) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
