Pages that link to "Item:Q278747"
From MaRDI portal
The following pages link to Completeness for recursive procedures in separation logic (Q278747):
Displayed 3 items.
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Completeness and expressiveness of pointer program verification by separation logic (Q2417849) (← links)