DFMD 2026 (series) / Jore Booy
Registered user since Fri 12 Dec 2025
Name:Jore Booy
Country:Netherlands
Affiliation:Eindhoven University of Technology
Personal website: https://research.tue.nl/en/persons/jore-j-booy/
Research interests:Model Checking, Formal Methods
Contributions
DFMD 2026-profile
View general profile
View general profile