내 프로필 만들기
공개 액세스
모두 보기자료 8개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Ilias SakellariouDept. of Applied Informatics, University Of Macedonia, Thessalonikiuom.edu.gr의 이메일 확인됨
- Sadegh AliakbaryShahid Beheshti Universitysbu.ac.ir의 이메일 확인됨
- Enrique Martin-MartinUniversidad Complutense de Madriducm.es의 이메일 확인됨
- Elvira AlbertComplutense University of Spainsip.ucm.es의 이메일 확인됨
- Wishnu PrasetyaDept. Inf. & Comp. Sciences, Utrecht Universityuu.nl의 이메일 확인됨
- Sean LeatherPhD Student, Computer Science, Utrecht Universityuu.nl의 이메일 확인됨
- Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht Universityuu.nl의 이메일 확인됨
- Keyvan AzadbakhtPhD in Computer Science, Leiden University