Exact Separation Logic (submitted)

Authors

  • Petar Maksimovíc
  • Caroline Cronjäger
  • Julian Sutherland
  • Andreas Lööw
  • Philippa Gardner

Venue

Publication Date

2022

Source Materials