自分のプロフィールを作成
オープン アクセス
すべて表示19 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Lucas C. CordeiroReader, Dept of Computer Science, University of Manchester確認したメール アドレス: manchester.ac.uk
- Johann SchumannSGT, Inc. NASA Ames確認したメール アドレス: nasa.gov
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, Italy確認したメール アドレス: unimol.it
- Salvatore La TorreUniversità degli Studi di Salerno確認したメール アドレス: unisa.it
- Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, Italy確認したメール アドレス: gssi.it
- ermenegildo tomascoUniversity of Southampton確認したメール アドレス: soton.ac.uk
- Truc Lam NguyenUniversity of Southampton確認したメール アドレス: soton.ac.uk
- Joao Marques-SilvaResearch Professor, ICREA, University of Lleida確認したメール アドレス: icrea.cat
- Jeremy MorseUniversity of Bristol確認したメール アドレス: bristol.ac.uk
- Gillian GreeneComputer Science Division, Stellenbosch University確認したメール アドレス: cs.sun.ac.za
- Nurlida BasirLecturer of Computer Science, Universiti Sains Islam Malaysia確認したメール アドレス: usim.edu.my
- Mikhail Yasha Ramalho GadelhaIgalia確認したメール アドレス: igalia.com
- Moeketsi RaselimoHumboldt-Universität zu Berlin確認したメール アドレス: informatik.hu-berlin.de
- Wray BuntineProfessor, VinUniversity確認したメール アドレス: vinuni.edu.vn
- Michael W WhalenAmazon, Inc. and the University of Minnesota確認したメール アドレス: cs.umn.edu
- Felipe R. MonteiroAmazon確認したメール アドレス: amazon.com
- Jon WhittleCSIRO's Data61確認したメール アドレス: data61.csiro.au
- Gregor SneltingKIT確認したメール アドレス: kit.edu
- Michael PoppletonLecturer in Formal Methods, University of Southampton確認したメール アドレス: ecs.soton.ac.uk
- Neville GrechDedaub確認したメール アドレス: dedaub.com
フォロー