EASE 2025
Tue 17 - Fri 20 June 2025 Istanbul, Turkey
Matthias Kettl

Registered user since Tue 12 Sep 2023

Name:Matthias Kettl
Country:Germany
Affiliation:LMU Munich
Research interests:Formal Verification

Contributions

Show activities from other conferences

EASE 2025-profile
View general profile