%0 Conference Paper %1 conf/ica3pp/LiZXWL21 %A Li, Yicong %A Zhou, Kuanjiu %A Xu, Lin %A Wang, Meiying %A Liu, Nan %B ICA3PP (3) %D 2021 %E Lai, Yongxuan %E Wang, Tian %E Jiang, Min %E Xu, Guangquan %E Liang, Wei %E Castiglione, Aniello %I Springer %K dblp %P 648-667 %T Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers. %U http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2021-3.html#LiZXWL21 %V 13157 %@ 978-3-030-95391-1

@inproceedings{conf/ica3pp/LiZXWL21, added-at = {2022-03-03T00:00:00.000+0100}, author = {Li, Yicong and Zhou, Kuanjiu and Xu, Lin and Wang, Meiying and Liu, Nan}, biburl = {https://www.bibsonomy.org/bibtex/27dbdd219570a1d70d6c231d3dd7884cd/dblp}, booktitle = {ICA3PP (3)}, crossref = {conf/ica3pp/2021-3}, editor = {Lai, Yongxuan and Wang, Tian and Jiang, Min and Xu, Guangquan and Liang, Wei and Castiglione, Aniello}, ee = {https://doi.org/10.1007/978-3-030-95391-1_41}, interhash = {58810f269e357d14b0cb320d0432d342}, intrahash = {7dbdd219570a1d70d6c231d3dd7884cd}, isbn = {978-3-030-95391-1}, keywords = {dblp}, pages = {648-667}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:02:20.000+0200}, title = {Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.}, url = {http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2021-3.html#LiZXWL21}, volume = 13157, year = 2021 }