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

Registered user since Wed 11 Dec 2019

Name:Andreas Stahlbauer
Country:Germany
Affiliation:University of Passau
Research interests:Program Analysis, Formal Methods, Software Verification, Software Testing

Contributions

ASE 2020 Verified from Scratch: Program Analysis for Learners' Programs
Show activities from other conferences

ASE 2020-profile
View general profile