NASA Formal Methods 2024
Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States
NASA Formal Methods 2024 (series) / Falk Howar
Falk Howar

Registered user since Fri 5 Nov 2021

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

Contributions

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile