Daniel Baier

Registered user since Wed 23 Nov 2022

Name:Daniel Baier
Bio:

PhD-student of Prof. Dr. Dirk Beyer, at the SoSy-Lab, LMU Munich.

Country:Germany
Affiliation:Ludwig Maximilian University of Munich
Research interests:Software Verification, Model Checking, Shape Analysis

Contributions

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile