Darulova, Eva Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;
Izycheva, A., Darulova, E., & Seidl, H. (2020). Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. In D. Pichardie, & M. Sighireanu (Eds.), Static Analysis (pp. 156-177). Berlin: Springer. doi:10.1007/978-3-030-65474-0_8.