Pages that link to "Item:Q5465858"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465858):
Displaying 5 items.
- Reasoning about sequences of memory states (Q636268) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Pattern-based verification of programs with extended linear linked data structures (Q2863858) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- The Spotlight Principle (Q5452606) (← links)