%0 Conference Paper %1 conf/tacas/AbbasiSDUA21 %A Abbasi, Rosa %A Schiffl, Jonas %A Darulova, Eva %A Ulbrich, Mattias %A Ahrendt, Wolfgang %B TACAS (2) %D 2021 %E Groote, Jan Friso %E Larsen, Kim Guldstrand %I Springer %K dblp %P 242-261 %T Deductive Verification of Floating-Point Java Programs in KeY. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#AbbasiSDUA21 %V 12652 %@ 978-3-030-72013-1

@inproceedings{conf/tacas/AbbasiSDUA21, added-at = {2021-05-14T00: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/2b1f7a31ae9be1d26a1a920fd1251434f/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2021-2}, editor = {Groote, Jan Friso and Larsen, Kim Guldstrand}, ee = {https://doi.org/10.1007/978-3-030-72013-1_13}, interhash = {f4e7b002abea4ea65b8d802038aaa6cc}, intrahash = {b1f7a31ae9be1d26a1a920fd1251434f}, isbn = {978-3-030-72013-1}, keywords = {dblp}, pages = {242-261}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:28.000+0200}, title = {Deductive Verification of Floating-Point Java Programs in KeY.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#AbbasiSDUA21}, volume = 12652, year = 2021 }