自分のプロフィールを作成
オープン アクセス
すべて表示3 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford University確認したメール アドレス: cs.ox.ac.uk
- Augusto Cesar Alves SampaioUFPE - Universidade Federal de Pernambuco確認したメール アドレス: cin.ufpe.br
- Thomas Gibson-RobinsonDepartment of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do Norte確認したメール アドレス: dimap.ufrn.br
- Jim WoodcockProfessor of Software Engineering, University of York確認したメール アドレス: york.ac.uk
- Jeremy BryansResearch Fellow, Coventry University, UK確認したメール アドレス: coventry.ac.uk
- Alexandre MotaLecturer of Computer Science, Universidade Federal de Pernambuco確認したメール アドレス: cin.ufpe.br
- Ante DerekAssociate Professor, University of Zagreb Faculty of Electrical Engineering and Computing確認したメール アドレス: fer.unizg.hr
- Filipe ArrudaUniversidade Federal de Pernambuco確認したメール アドレス: cin.ufpe.br
- Lucas LimaUniversidade Federal Rural de Pernambuco確認したメール アドレス: ufrpe.br
- Han LiuUniversity College Oxford Blockchain Research Centre, The Blockhouse Technology Ltd.確認したメール アドレス: tbtl.com