Eva Darulova - SPLASH 2022

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Registered user since Thu 18 Jun 2015

Name:Eva Darulova

Country:Sweden

Affiliation:Uppsala University

Personal website: https://www.it.uu.se/katalog/evada737

Contributions

2022

SPLASH

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

Show activities from other conferences

SPLASH 2022-profile
View general profile