내 프로필 만들기
공개 액세스
모두 보기자료 3개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jeremy GibbonsProfessor of Computing, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Einar Broch JohnsenProfessor, University of Osloifi.uio.no의 이메일 확인됨
- Reiner HähnleProfessor of Computer Science, Technical University of Darmstadtcs.tu-darmstadt.de의 이메일 확인됨
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Elvira AlbertComplutense University of Spainsip.ucm.es의 이메일 확인됨
- Ina SchaeferKarlsruhe Institute of Technology (KIT)kit.edu의 이메일 확인됨
- Stijn de GouwAssistant Professor, Open University, The Netherlandsou.nl의 이메일 확인됨
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of Osloifi.uio.no의 이메일 확인됨
- Radu MuscheviciTU Darmstadtcs.tu-darmstadt.de의 이메일 확인됨
- Dave ClarkeIndependentstorytel.com의 이메일 확인됨
- Muddassar Azam SindhuAssociate Professor, Computer Science Department, Quaid i Azam University, Islamabadqau.edu.pk의 이메일 확인됨
- Karl MeinkeProfessor of Computer Science KTH Royal Institute of Technologykth.se의 이메일 확인됨
- Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of Madridfdi.ucm.es의 이메일 확인됨
- Michiel HelvensteijnSoftware Engineer at Metameta.com의 이메일 확인됨
- Jose ProencaCISTER - ISEPproenca.org의 이메일 확인됨
- carlo augusto graziaTenure-Track Assistant Professor, University of Modena and Reggio Emiliaunimore.it의 이메일 확인됨
- Cosimo LaneveProfessor of Computer Science, University of Bolognaunibo.it의 이메일 확인됨
- Lei FengAssociate Professor, KTH Royal Institute of Technologykth.se의 이메일 확인됨
- Puri ArenasAssociate Professorsip.ucm.es의 이메일 확인됨
- Richard BubelDepartment of Computer Science, TU Darmstadtcs.tu-darmstadt.de의 이메일 확인됨