| The Object-Z specification language G Smith Springer Science & Business Media, 2012 | 938 | 2012 |
| Object-Z: A specification language advocated for the description of standards R Duke, G Rose, G Smith Computer Standards & Interfaces 17 (5-6), 511-533, 1995 | 539 | 1995 |
| Object-Z: An object-oriented extension to Z DA Carrington, DJ Duke, R Duke, P King, GA Rose, G Smith Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989 | 284 | 1989 |
| The Object-Z specification language: version 1 R Duke, P King, G Rose, G Smith SVRC, 1991 | 187 | 1991 |
| A semantic integration of Object-Z and CSP for the specification of concurrent systems G Smith International Symposium of Formal Methods Europe, 62-81, 1997 | 156 | 1997 |
| A fully abstract semantics of classes for Object-Z G Smith Formal Aspects of Computing 7 (3), 289-313, 1995 | 114 | 1995 |
| Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP G Smith, J Derrick Formal Methods in System Design 18 (3), 249-284, 2001 | 108 | 2001 |
| Object-Z: a specification language advocated for the description of standards R Duke, G Rose, G Smith Software Verification Research Centre TR94-45, The University of Queensland …, 1994 | 96 | 1994 |
| An object-oriented approach to formal specification G Smith University of Queensland, 1992 | 83 | 1992 |
| Temporal logic and Z specifications R Duke, G Smith Australian Computer Journal 21 (2), 62-66, 1989 | 76 | 1989 |
| Refinement and verification of concurrent systems specified in Object-Z and CSP G Smith, J Derrick First IEEE international conference on Formal engineering methods, 293-302, 1997 | 75 | 1997 |
| Model checking Z specifications using SAL G Smith, L Wildman International Conference of B and Z Users, 85-103, 2005 | 73 | 2005 |
| Extending W for Object-Z G Smith International Conference of Z Users, 276-295, 1995 | 67 | 1995 |
| Encoding object-z in isabelle/hol G Smith, F Kammüller, T Santen International Conference of B and Z Users, 82-99, 2002 | 43 | 2002 |
| Model checking Object-Z classes: Some experiments with FDR G Kassel, G Smith Proceedings Eighth Asia-Pacific Software Engineering Conference, 445-452, 2001 | 38 | 2001 |
| Reasoning about Object-Z specifications G Smith Proceedings 1995 Asia Pacific Software Engineering Conference, 489-497, 1995 | 36 | 1995 |
| Formal development of self-organising systems G Smith, JW Sanders International Conference on Autonomic and Trusted Computing, 90-104, 2009 | 30 | 2009 |
| Proving temporal properties of Z specifications using abstraction G Smith, K Winter International Conference of B and Z Users, 260-279, 2003 | 30 | 2003 |
| A wide-spectrum language for verification of programs on weak memory models RJ Colvin, G Smith International Symposium on Formal Methods, 240-257, 2018 | 29 | 2018 |
| Combining CSP and Object-Z: Finite or infinite trace semantics? C Fischer, G Smith Formal Description Techniques and Protocol Specification, Testing and …, 1997 | 29 | 1997 |
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
