Graeme Smith
4 published titles
The Object-Z specification language
1 edition
- ISBN: 0792386841
- Kluwer Academic
- 2000
- Details
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 3540213775
- Springer
- 2004
- Details
Integrated formal methods : 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540304920
- Springer
- 2005
- Details
International Refinement Workshop : Refine 2007 : Oxford, UK : July 2, 2007
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
