Adresse Universität StuttgartInstitut für Formale Methoden der Informatik Universitätsstraße 38 70569 Stuttgart
ORCID-ID 0000-0002-7645-5867