Carroll Morgan
4 published titles
Programming from specifications
2 editions
- ISBN: 0137262256
- Prentice-Hall
- 1990
- Details
- ISBN: 0131232746
- Prentice Hall
- 1994
- Details
3rd refinement workshop : proceedings of the 3rd Refinement Workshop : organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxfor
(Contributor)
1 edition
- ISBN: 0387196242
- Springer-Verlag in collaboration with the British Computer Society
- 1991
- Details
On the refinement calculus
(Contributor)
1 edition
- ISBN: 3540198091
- Springer-Verlag
- 1994
- Details
Formal methods : foundations and applications : 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642250316
- Springer
- 2011
- Details
