SeLoger
From MaRDI portal
Software:5973049
No author found.
Related Items (7)
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction ⋮ Separation logic with one quantified variable ⋮ Separation logics and modalities: a survey ⋮ Unnamed Item ⋮ On Temporal and Separation Logics ⋮ Learning Shape Analysis ⋮ On Symbolic Heaps Modulo Permission Theories
This page was built for software: SeLoger
