Graeme Smith
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2023
2020
PLoS Comput. Biol., 2020
2011
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011
2008
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008
2004
Proceedings of the Computer Science 2004, 2004
2000
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
The object-Z specification language.
Advances in formal methods 1, Kluwer, ISBN: 978-0-7923-8684-1, 2000
1997
1996
1995
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
1994
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994
A Development Framework for Object-Oriented Specification and Refinement.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994