建立我自己的個人學術檔案
公開取用
查看全部4 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, France在 telecom-paris.fr 的電子郵件地址已通過驗證
- Xavier LeroyCollège de France在 college-de-france.fr 的電子郵件地址已通過驗證
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbH在 kerguelen.org 的電子郵件地址已通過驗證
- Gianluigi ZavattaroProfessor in Computer Science, University of Bologna在 cs.unibo.it 的電子郵件地址已通過驗證
- Fabio MancinelliXWiki SAS在 xwiki.com 的電子郵件地址已通過驗證
- Paulo TrezentosAssistant Professor, ISCTE-IUL在 iscte.pt 的電子郵件地址已通過驗證
- Kim BruceEmeritus Professor of Computer Science, Pomona College在 pomona.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'Aquila在 univaq.it 的電子郵件地址已通過驗證
- Dale MillerInria-Saclay and LIX, Ecole Polytechnique在 inria.fr 的電子郵件地址已通過驗證
- Serge AbiteboulINRIA Saclay在 inria.fr 的電子郵件地址已通過驗證
- Tova MiloProfessor of Computer Science, Tel Aviv University在 cs.tau.ac.il 的電子郵件地址已通過驗證
- Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino University在 di.unito.it 的電子郵件地址已通過驗證