John Derrick
6 published titles
Refinement in Z and Object-Z : foundations and advanced applications
2 editions
- ISBN: 185233245X
- Springer
- 2001
- Details
- ISBN: 9781447153542
- Springer
- 2014
- Details
Formal methods for distributed processing : a survey of object-oriented approaches
(Contributor)
1 edition
- ISBN: 0521771846
- Cambridge University Press
- 2001
- Details
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 3540213775
- Springer
- 2004
- Details
International Refinement Workshop : Refine 2007 : Oxford, UK : July 2, 2007
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642307287
- Springer
- 2012
- Details
Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, June 18-21 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642308840
- Springer
- 2012
- Details
