Get my own profile
Public access
View all8 articles
1 article
available
not available
Based on funding mandates
Co-authors
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Ilias SakellariouDept. of Applied Informatics, University Of Macedonia, ThessalonikiVerified email at uom.edu.gr
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Sadegh AliakbaryShahid Beheshti UniversityVerified email at sbu.ac.ir
Wishnu PrasetyaDept. Inf. & Comp. Sciences, Utrecht UniversityVerified email at uu.nl
Sean LeatherPhD Student, Computer Science, Utrecht UniversityVerified email at uu.nl
Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerified email at uu.nl
Keyvan AzadbakhtPhD in Computer Science, Leiden University