Exact Separation Logic (submitted) Venue Publication Year 2022 Authors Petar Maksimovic Caroline Cronjäger Julian Sutherland Andreas Lööw Philippa Gardner Source Materials Authors' Preprint/Accepted Version BibTeX Citation