ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Anastasiia Izycheva

Registered user since Wed 26 Aug 2020

Name:Anastasiia Izycheva
Affiliation:Technical University of Munich


SAS 2020 Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Show activities from other conferences

SPLASH 2020-profile
View general profile