Pages that link to "Item:Q820139"
From MaRDI portal
The following pages link to Extending separation logic with fixpoints and postponed substitution (Q820139):
Displaying 4 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
