Login / Signup
Tony Simons
ORCID
Publication Activity (10 Years)
Years Active: 2006-2008
Publications (10 Years): 0
</>
Publications
</>
Christopher Thomson
,
Mike Holcombe
,
Tony Cowling
,
Tony Simons
,
George Michaelides
A pilot study of comparative customer comprehension between extreme x-machine and uml models.
ESEM
(2008)
John Derrick
,
Siobhán North
,
Tony Simons
Issues in Implementing a Model Checker for Z.
ICFEM
(2006)