@Article{AbasiEtAl2023,
author="Abbasi, Rosa and Schiffl, Jonas and Darulova, Eva and Ulbrich, Mattias and Ahrendt, Wolfgang",
title="Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY",
journal="Software Tools for Technology Transfer",
publisher="Springer",
year="2023",
doi="10.1007/s10009-022-00691-x",
url="https://doi.org/10.1007/s10009-022-00691-x"
}