Pages that link to "Item:Q5395717"
From MaRDI portal
The following pages link to Local Reasoning for Global Invariants, Part II (Q5395717):
Displaying 5 items.
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Verified software units (Q2233451) (← links)
- Axiomization of passage from “local” structure to “global” object (Q4033508) (← links)
- <i>p</i>‐Version interface elements in global/local analysis (Q4331375) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)