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
Sadegh AliakbaryShahid Beheshti UniversityVerified email at sbu.ac.ir
Enrique Martin-MartinUniversidad Complutense de MadridVerified email at ucm.es
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
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