%0 Journal Article %1 journals/sttt/AbbasiSDUA23 %A Abbasi, Rosa %A Schiffl, Jonas %A Darulova, Eva %A Ulbrich, Mattias %A Ahrendt, Wolfgang %D 2023 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 185-204 %T Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. %U http://dblp.uni-trier.de/db/journals/sttt/sttt25.html#AbbasiSDUA23 %V 25

@article{journals/sttt/AbbasiSDUA23, added-at = {2023-05-13T00:00:00.000+0200}, author = {Abbasi, Rosa and Schiffl, Jonas and Darulova, Eva and Ulbrich, Mattias and Ahrendt, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2c138cd4b4213aad1ba71e7dae7d93b2a/dblp}, ee = {https://doi.org/10.1007/s10009-022-00691-x}, interhash = {4b8162c2d3632c02e683f0d37074a1a7}, intrahash = {c138cd4b4213aad1ba71e7dae7d93b2a}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, month = {April}, number = 2, pages = {185-204}, timestamp = {2024-04-08T20:36:22.000+0200}, title = {Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt25.html#AbbasiSDUA23}, volume = 25, year = 2023 }