Lars van den Haak, MSc
- University Lecturer, Mathematics and Computer Science, Algorithms and Logics for Verification
- Emaill.b.v.d.haaktuenl
-
11Citations - based on content available in repository [source: Scopus]
Content available in repository