Media type: E-Article Title: Lecture Notes in Computer Science: A Mixed Real and Floating-Point Solver Contributor: Salvia, Rocco; Titolo, Laura; Feliú, Marco A.; Moscato, Mariano M.; Muñoz, César A.; Rakamarić, Zvonimir Published: Springer International Publishing, 2019 Published in: Lecture Notes in Computer Science (2019), Seite 363-370 Language: Not determined DOI: 10.1007/978-3-030-20652-9_25 ISBN: 9783030206512; 9783030206529 ISSN: 1611-3349; 0302-9743 Origination: Footnote: