Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 113 | 67 |
h-indeks | 7 | 5 |
i10-indeks | 5 | 1 |
Dostęp publiczny
Wyświetl wszystko8 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Ilias SakellariouDept. of Applied Informatics, University Of Macedonia, ThessalonikiZweryfikowany adres z uom.edu.gr
- Sadegh AliakbaryShahid Beheshti UniversityZweryfikowany adres z sbu.ac.ir
- Enrique Martin-MartinUniversidad Complutense de MadridZweryfikowany adres z ucm.es
- Elvira AlbertComplutense University of SpainZweryfikowany adres z sip.ucm.es
- Wishnu PrasetyaDept. Inf. & Comp. Sciences, Utrecht UniversityZweryfikowany adres z uu.nl
- Sean LeatherPhD Student, Computer Science, Utrecht UniversityZweryfikowany adres z uu.nl
- Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityZweryfikowany adres z uu.nl
- Keyvan AzadbakhtPhD in Computer Science, Leiden University