SPLASH 2022 (series) / Eva Darulova
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
| SPLASH 2022 | Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2022-profile
View general profile
View general profile