@inproceedings{HeuleLeinoMuellerSummers13,
  author = {S. Heule and K. R. M. Leino and P. M\"uller and A. J. Summers},
  title = {Abstract Read Permissions: Fractional Permissions without the Fractions},
  booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  year = {2013},
  series = {Lecture Notes in Computer Science},
  pages = {315--334},
  volume = {7737},
  url         = {https://doi.org/10.1007/978-3-642-35873-9_20},
  urltext     = {[Publisher]}
}