SeLoger
From MaRDI portal
Software:5973049
swMATH46318MaRDI QIDQ5973049FDOQ5973049
Author name not available (Why is that?)
Cited In (7)
- Separation logics and modalities: a survey
- Title not available (Why is that?)
- On Symbolic Heaps Modulo Permission Theories
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
- Learning Shape Analysis
- Separation logic with one quantified variable
- On Temporal and Separation Logics
This page was built for software: SeLoger
