Skapa en profil
Offentlig åtkomst
Visa alla8 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Ilias SakellariouDept. of Applied Informatics, University Of Macedonia, ThessalonikiVerifierad e-postadress på uom.edu.gr
- Sadegh AliakbaryShahid Beheshti UniversityVerifierad e-postadress på sbu.ac.ir
- Enrique Martin-MartinUniversidad Complutense de MadridVerifierad e-postadress på ucm.es
- Elvira AlbertComplutense University of SpainVerifierad e-postadress på sip.ucm.es
- Wishnu PrasetyaDept. Inf. & Comp. Sciences, Utrecht UniversityVerifierad e-postadress på uu.nl
- Sean LeatherPhD Student, Computer Science, Utrecht UniversityVerifierad e-postadress på uu.nl
- Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerifierad e-postadress på uu.nl
- Keyvan AzadbakhtPhD in Computer Science, Leiden University