Tim A.C. Willemse
dr.ir.
- Mathematics and Computer Science, Formal System Analysis
- Associate Professor, Mathematics and Computer Science, Algorithms and Logics for Verification
- Associate Professor, Mathematics and Computer Science, Formal System Analysis
- Associate Professor, EAISI High Tech Systems
- Emailt.a.c.willemsetuenl
-
1158Citations - based on content available in repository [source: Scopus]
Content available in repository