Pages that link to "Item:Q2988661"
From MaRDI portal
The following pages link to Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661):
Displaying 5 items.
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
- (Q5090983) (← links)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)
