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


ASE 2020Author of Verified from Scratch: Program Analysis for Learners' Programs within the Research Papers-track
Show activities from other conferences

ASE 2020-profile
View general profile