• Home
  • News
  • People
  • Research
    Concurrency Gillian Web Programs
  • Publications
  • Contact
  • Verified Software

    Department of Computing, Imperial College London

    Exact Separation Logic (submitted)

    Venue

    Publication Year

    2022

    Authors

    • Petar Maksimovic
    • Caroline Cronjäger
    • Julian Sutherland
    • Andreas Lööw
    • Sacha-Élie Ayoun
    • Philippa Gardner

    Source Materials

    • Authors' Preprint/Accepted Version
    • BibTeX Citation

    © 2022 Imperial College London
    Privacy Notice - Accessibility