Philippa Gardner
Professor of Theoretical
Computer Science
Homepage
Publications
Authors
Venue
Publication Date
Source Materials
Exact Separation Logic (submitted)
Authors
Petar Maksimovic
Caroline Cronjäger
Julian Sutherland
Andreas Lööw
Sacha-Élie Ayoun
Philippa Gardner
Venue
Publication Date
2022
Source Materials
Authors' Preprint/Accepted Version
BibTeX Citation
© VTSS @ Imperial College London. All rights reserved.
Design:
HTML5 UP
Privacy Notice
Accessibility