@inproceedings{TFMM2018,
	Author = {Laura Titolo and Marco Feli{\'{u}} and Mariano Moscato and C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)},
	Month = {January},
	Title = {An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs},
        Address = {Los Angeles, CA, USA},
        series = "Lecture Notes in Computer Science",        
        editor = "Isil Dillig and Jens Palsberg",
        volume = "10747",
        pages = "516--537",
        year = "2018",
        publisher = "Springer",
}