Get my own profile
Public access
View all10 articles
3 articles
available
not available
Based on funding mandates
Co-authors
- Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
- Pedro RibeiroLecturer at the Department of Computer Science, University of YorkVerified email at york.ac.uk
- Simon FosterLecturer in Computer Science, University of YorkVerified email at york.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
- Alvaro MiyazawaResearch Associate, University of YorkVerified email at york.ac.uk
- Gustavo CarvalhoUniversidade Federal de PernambucoVerified email at cin.ufpe.br
- Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
- Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerified email at newcastle.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerified email at york.ac.uk