FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Matthias Kettl

Registered user since Tue 12 Sep 2023

Name:Matthias Kettl
Country:Germany
Affiliation:LMU Munich
Research interests:Formal Verification, Software Engineering, Fault Localization, Automatic Program Repair

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile