SeLoger
From MaRDI portal
Software:5973049
swMATH46318MaRDI QIDQ5973049FDOQ5973049
Author name not available (Why is that?)
Cited In (7)
- Separation logics and modalities: a survey
- On temporal and separation logics
- Expressive completeness of separation logic with two variables and no separating conjunction
- On Symbolic Heaps Modulo Permission Theories
- Tractability of separation logic with inductive definitions: beyond lists
- Separation logic with one quantified variable
- Learning shape analysis
This page was built for software: SeLoger
