Crea el meu perfil
Accés públic
Mostra-ho tot8 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Correu electrònic verificat a cwi.nl
- Ilias SakellariouDept. of Applied Informatics, University Of Macedonia, ThessalonikiCorreu electrònic verificat a uom.edu.gr
- Sadegh AliakbaryShahid Beheshti UniversityCorreu electrònic verificat a sbu.ac.ir
- Enrique Martin-MartinUniversidad Complutense de MadridCorreu electrònic verificat a ucm.es
- Elvira AlbertComplutense University of SpainCorreu electrònic verificat a sip.ucm.es
- Wishnu PrasetyaDept. Inf. & Comp. Sciences, Utrecht UniversityCorreu electrònic verificat a uu.nl
- Sean LeatherPhD Student, Computer Science, Utrecht UniversityCorreu electrònic verificat a uu.nl
- Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityCorreu electrònic verificat a uu.nl
- Keyvan AzadbakhtPhD in Computer Science, Leiden University