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