Eerke Boiten
4 published titles
Refinement in Z and Object-Z : foundations and advanced applications
(Contributor)
2 editions
- ISBN: 185233245X
- Springer
- 2001
- Details
- ISBN: 9781447153542
- Springer
- 2014
- Details
Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540438572
- Springer
- 2002
- 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
