conf.researchr.org / Frits Vaandrager
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