EasyChair Smart Slide
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?