Graeme Smith
  This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
  2025
    IEEE Trans. Inf. Theory, August, 2025
    
  
Detecting speculative data flow vulnerabilities using weakest precondition reasoning.
    
  
    CoRR, April, 2025
    
  
  2024
  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