Get my own profile
Public access
View all3 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br
- Thomas Gibson-RobinsonDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Marcel OliveiraLecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
- Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
- Jeremy BryansResearch Fellow, Coventry University, UKVerified email at coventry.ac.uk
- Alexandre MotaLecturer of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
- Ante DerekAssociate Professor, University of Zagreb Faculty of Electrical Engineering and ComputingVerified email at fer.unizg.hr
- Filipe ArrudaUniversidade Federal de PernambucoVerified email at cin.ufpe.br
- Lucas LimaUniversidade Federal Rural de PernambucoVerified email at ufrpe.br
- Han LiuUniversity College Oxford Blockchain Research Centre, The Blockhouse Technology Ltd.Verified email at tbtl.com