@misc{indiciae90b490130da7,
  title = {Reasoning About Exceptional Behavior At the Level of Java Bytecode},
  author = {Marco Paganoni and Carlo A. Furia},
  year = {2024},
  doi = {10.1007/978-3-031-47705-8\_7},
  url = {https://arxiv.org/abs/2409.20056},
  note = {Source identifier: 2409.20056}
}