@misc{indiciaee754de798939,
  title = {Verifying Functional Correctness Properties At the Level of Java Bytecode},
  author = {Marco Paganoni and Carlo A. Furia},
  year = {2024},
  doi = {10.1007/978-3-031-27481-7\_20},
  url = {https://arxiv.org/abs/2409.20071},
  note = {Source identifier: 2409.20071}
}