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