Registered user since Tue 2 Dec 2025
Name:Frits Vaandrager
Country:Netherlands
Affiliation:Radboud University
Personal website: https://www.cs.ru.nl/F.Vaandrager/
Research interests:Formal Methods, Concurrency Theory, Active Automata Learning, Testing, Verification, Model Checking
Contributions
FM 2026-profile
View general profile
View general profile