Falk Howar

Registered user since Fri 5 Nov 2021

Name:Falk Howar
Country:Germany
Affiliation:TU Dortmund University
Personal website: https://aqua.engineering
Research interests:Software Engineering, Formal Methods, Automata Learning

Contributions

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile