Pages that link to "Item:Q1607103"
From MaRDI portal
The following pages link to Calculating sharp adaptation rules. (Q1607103):
Displaying 4 items.
- A sharp proof rule for procedures in WP semantics (Q1104730) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- Algebraic Methodology and Software Technology (Q5312996) (← links)