@InProceedings{Brotherston-etal:20,
  author    = "James Brotherston and Diana Costa and Aquinas Hobor and John Wickerson",
  title     = "Reasoning over Permissions Regions in Concurrent Separation Logic",
  booktitle = "Proceedings of {CAV}-32, Part II",
  series    = "LNCS",
  volume    = 12225,
  pages     = "203--224",
  publisher = "Springer",
  year      = 2020
}