Darulova, Eva Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;
Becker, H., Panchekha, P., Darulova, E., & Tatlock, Z. (2018). Combining Tools for Optimization and Analysis of Floating-Point Computations. In K. Havelund, J. Peleska, B. Roscoe, & E. de Vink (Eds.), Formal Methods (pp. 355-363). Berlin: Springer. doi:10.1007/978-3-319-95582-7_21.