내 프로필 만들기
공개 액세스
모두 보기자료 4개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, Francetelecom-paris.fr의 이메일 확인됨
- Xavier LeroyCollège de Francecollege-de-france.fr의 이메일 확인됨
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHkerguelen.org의 이메일 확인됨
- Gianluigi ZavattaroProfessor in Computer Science, University of Bolognacs.unibo.it의 이메일 확인됨
- Fabio MancinelliXWiki SASxwiki.com의 이메일 확인됨
- Paulo TrezentosAssistant Professor, ISCTE-IULiscte.pt의 이메일 확인됨
- Kim BruceEmeritus Professor of Computer Science, Pomona Collegepomona.edu의 이메일 확인됨
- Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)gssi.it의 이메일 확인됨
- Davide Di RuscioFull Professor, DISIM, University of L'Aquila (Italy)di.univaq.it의 이메일 확인됨
- Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'Aquilaunivaq.it의 이메일 확인됨
- Dale MillerInria-Saclay and LIX, Ecole Polytechniqueinria.fr의 이메일 확인됨
- Serge AbiteboulINRIA Saclayinria.fr의 이메일 확인됨
- Tova MiloProfessor of Computer Science, Tel Aviv Universitycs.tau.ac.il의 이메일 확인됨
- Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino Universitydi.unito.it의 이메일 확인됨