Registered user since Wed 19 Aug 2026
Name:Andy S. Tatman
Bio:
ORCID: https://orcid.org/0009-0009-3794-2572
University website: https://www.rug.nl/staff/a.s.tatman/?lang=en
Country:Netherlands
Affiliation:University of Groningen
Research interests:Formal Verification, Model Checking
Contributions
Using general profile