Get my own profile
Public access
View all14 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
Larissa MeinickeThe University of QueenslandVerified email at uq.edu.au
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Yuxin DengProfessor, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Joe Leslie-HurdIntel Corp.Verified email at gilith.com
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Adenilso SimaoUniversity of Sao PauloVerified email at icmc.usp.br
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Zoe AndrewsNewcastle UniversityVerified email at ncl.ac.uk