TY  - RPRT
TI  - Deductive Verification of Floating-Point Java Programs in KeY
AU  - Rosa Abbasi Boroujeni
AU  - Jonas Schiffl
AU  - Eva Darulova
AU  - Mattias Ulbrich
AU  - Wolfgang Ahrendt
PY  - 2021
UR  - https://arxiv.org/abs/2101.08733
ID  - 2101.08733
ER  -