@misc{indiciae5cb660462967,
  title = {Deductive Verification of Floating-Point Java Programs in KeY},
  author = {Rosa Abbasi Boroujeni and Jonas Schiffl and Eva Darulova and Mattias Ulbrich and Wolfgang Ahrendt},
  year = {2021},
  url = {https://arxiv.org/abs/2101.08733},
  note = {Source identifier: 2101.08733}
}