@inproceedings{GMKC13,
	Author = {Alwyn Goodloe and C{\'{e}}sar Mu{\~{n}}oz and Florent Kirchner and Lo{\"{\i}}c Correnson},
	Booktitle = {Proceedings of the 5th NASA Formal Methods Symposium (NFM 2013)},
	Month = {May},
	Title = {Verification of Numerical Programs: From Real Numbers to Floating Point Numbers},
        Address = {Moffett Field, CA},
        series = "Lecture Notes in Computer Science",        
        editor = "Guillaume Brat and Neha Rungta and Arnaud Venet",
        volume = "7871",
        pages = "441--446",
        year = "2013",
        publisher = "Springer",
}