著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Laura Titolo and Marco A. Feliú and Mariano Moscato and César A. Muñoz,An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs,Lecture Notes in Computer Science,0302-9743,Springer International Publishing,2017-12-29,,,516-537,https://cir.nii.ac.jp/crid/1360298763261408768,https://doi.org/10.1007/978-3-319-73721-8_24