Items where authors include "Simons, T."

Proceedings Paper

Thomson, C., Holcombe, M., Cowling, T. et al. (2 more authors) (2008) A Pilot Study of Comparative Customer Comprehension between Extreme X-Machine and UML Models. In: ESEM '08 Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement. ESEM 08, October 9th - 10th, 2008, Kaiserslautern, Germany. ACM , pp. 270-272. ISBN 978-1-59593-971-5

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, T. (2006) Issues in implementing a model checker for Z. In: Liu, Z. and He, J., (eds.) Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. 8th International Conference on Formal Engineering Methods, ICFEM 2006, 01-03 Nov 2006, Macao, China. Lecture Notes in Computer Science, LNPSE 4260 . Springer Berlin Heidelberg , pp. 678-696. ISBN 9783540474609