DLS
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Anastasiia Izycheva

Registered user since Wed 26 Aug 2020

Name: Anastasiia Izycheva

Country: Germany

Affiliation: Technical University of Munich

Contributions

SAS 2020Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track
Show activities from other conferences

Using general profile