%0 Conference Paper %1 conf/nfm/IshiiTA22 %A Ishii, Daisuke %A Tomita, Takashi %A Aoki, Toshiaki %B NFM %D 2022 %E Deshmukh, Jyotirmoy V. %E Havelund, Klaus %E Perez, Ivan %I Springer %K dblp %P 733-751 %T Approximate Translation from Floating-Point to Real-Interval Arithmetic. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#IshiiTA22 %V 13260 %@ 978-3-031-06773-0

@inproceedings{conf/nfm/IshiiTA22, added-at = {2022-12-07T00:00:00.000+0100}, author = {Ishii, Daisuke and Tomita, Takashi and Aoki, Toshiaki}, biburl = {https://www.bibsonomy.org/bibtex/288e2ca64fcb4bdff2c344d01fd21773d/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2022}, editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan}, ee = {https://doi.org/10.1007/978-3-031-06773-0_39}, interhash = {9ca2f9d7b4595658be9bfb09a5c3c6c8}, intrahash = {88e2ca64fcb4bdff2c344d01fd21773d}, isbn = {978-3-031-06773-0}, keywords = {dblp}, pages = {733-751}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:33.000+0200}, title = {Approximate Translation from Floating-Point to Real-Interval Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#IshiiTA22}, volume = 13260, year = 2022 }