@misc{indiciae03c5613aaa1f,
  title = {Type-based Enforcement of Infinitary Trace Properties for Java},
  author = {Serdar Erbatur and Ulrich Schöpp and Chuangjie Xu},
  year = {2021},
  doi = {10.1145/3479394.3479413},
  url = {https://arxiv.org/abs/2107.11280},
  note = {Source identifier: 2107.11280}
}