Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Gidon Ernst

Registered user since Wed 6 Feb 2019

Name: Gidon Ernst

Country: Germany

Affiliation: LMU Munich

Personal website: https://www.sosy-lab.org/people/ernst/

Research interests: Software Verification, Theorem Proving

Contributions

ASE 2020Author of Legion: Best-First Concolic Testing within the Research Papers-track
Show activities from other conferences

Using general profile