Name:Andreas Stahlbauer

Country:Germany

Affiliation:University of Passau

Research interests:Program Analysis, Formal Methods, Software Verification, Software Testing