SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Anastasiia Izycheva

Registered user since Wed 26 Aug 2020

Name:Anastasiia Izycheva
Country:Germany
Affiliation:Technical University of Munich

Contributions

SPLASH 2022 Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Show activities from other conferences

Using general profile