Pages that link to "Item:Q2643337"
From MaRDI portal
The following pages link to A logic of reachable patterns in linked data-structures (Q2643337):
Displaying 5 items.
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- A Logic-Based Framework for Reasoning about Composite Data Structures (Q3184673) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
