@inproceedings{STFMMR19,
	Author = {Rocco Salvia and Laura Titolo and Marco A. Feli{\'{u}} and Mariano M. Moscato and C{\'{e}}sar A. Mu{\~{n}}oz and Zvonimir Rakamari{\'{c}}},
	Booktitle = {Proceedings of the 11th NASA Formal Methods Symposium (NFM 2019)},
	Month = {May},
	Title = {A Mixed Real and Floating-Point Solver},
        Address = {Houston, TX},
        series = "Lecture Notes in Computer Science",        
        editor = "Julia M. Badger and Kristin Y. Rozier",
        volume = "11460",
        pages = "363--370",
        year = "2019",
        doi = "10.1007/978-3-030-20652-9",
        publisher = "Springer"
}