내 프로필 만들기
공개 액세스
모두 보기자료 10개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨
- Alexandra SilvaCornell Universitycornell.edu의 이메일 확인됨
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofutwente.nl의 이메일 확인됨
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Filippo BonchiCNRS ENS-Lyonens-lyon.fr의 이메일 확인됨
- Farhad ArbabProfessor of Computer Science, Leiden Universityliacs.nl의 이메일 확인됨
- Catuscia PalamidessiInrialix.polytechnique.fr의 이메일 확인됨
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Helle Hvid HansenAssociate Professor at University of Groningenrug.nl의 이메일 확인됨
- Bart JacobsProfessor of Software Security and Correctness, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Marjan SirjaniMälardalen Universitymdh.se의 이메일 확인됨
- Davide SangiorgiProfessor of Computer Science, University of Bolognacs.unibo.it의 이메일 확인됨
- Jurriaan RotRadboud Universitycs.ru.nl의 이메일 확인됨
- Joost WinterUniversity of Warsawmimuw.edu.pl의 이메일 확인됨
- Erik P. de VinkAssociate Professor, Eindhoven University of Technologywin.tue.nl의 이메일 확인됨
- Enric Cosme LlópezUniversitat de Valènciauv.es의 이메일 확인됨
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de Valènciauv.es의 이메일 확인됨
- Prakash PanangadenProfessor of Computer Science, McGill Universitycs.mcgill.ca의 이메일 확인됨
- Meng SunProfessor, School of Mathematical Science, Peking Universitymath.pku.edu.cn의 이메일 확인됨
- Bernhard AichernigGraz Univ. of Technology (TU Graz)ist.tugraz.at의 이메일 확인됨