Roger C. Shaw
3 published titles
4th Refinement Workshop : proceedings of the 4th Refinement Workshop organised by BCS-FACS, 9-11 January 1991, Cambridge
(Contributor)
1 edition
- ISBN: 3540196579
- Springer-Verlag
- 1991
- Details
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
(Contributor)
1 edition
- ISBN: 0387197524
- Springer, in collaboration with the British Computer Society
- 1992
- Details
Safety and reliability of software based systems : twelfth annual CSR workshop (Bruges 12-15 September 1995)
(Contributor)
1 edition
- ISBN: 3540760342
- Springer
- 1997
- Details
