@misc{indiciae0bd5c77c0f95,
  title = {Enforcing Programming Guidelines with Region Types and Effects},
  author = {Serdar Erbatur and Martin Hofmann and Eugen Zalinescu},
  year = {2018},
  doi = {10.1007/978-3-319-71237-6\_5},
  url = {https://arxiv.org/abs/1801.07647},
  note = {Source identifier: 1801.07647}
}