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
Personal website: https://www.sosy-lab.org/
Research interests:Software Verification, Model Checking, Shape Analysis
Contributions
ECOOP and ISSTA 2023-profile
View general profile
View general profile