@misc{indiciae9f68f2f355d4,
  title = {Clustered Relational Thread-Modular Abstract Interpretation with Local Traces},
  author = {Michael Schwarz and Simmo Saan and Helmut Seidl and Julian Erhard and Vesal Vojdani},
  year = {2023},
  url = {https://arxiv.org/abs/2301.06439},
  note = {Source identifier: 2301.06439}
}