自分のプロフィールを作成
オープン アクセス
すべて表示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