Graeme Smith

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Information Fragility or Robustness Under Quantum Channels.
CoRR, 2023

2020
A crowdsourced set of curated structural variants for the human genome.
PLoS Comput. Biol., 2020

2011
Providing media download services in African taxis.
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

2008
Extending Formal Methods for Software-Intensive Systems.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

2004
A Framework for Modelling and Analysing Mobile Systems.
Proceedings of the Computer Science 2004, 2004

2000
Recursive Schema Definitions in Object-Z.
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
The Second ISEW Cleanroom Workshop.
Proceedings of the Pulling Together, 1997

1996
First ISEW Cleanroom workshop summary.
ACM SIGSOFT Softw. Eng. Notes, 1996

1995
Extending <i>W</i> for Object-Z.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Reasoning about Object-Z Specifications.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
An Object-Oriented Development Framework for Z.
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


  Loading...