Carron Shankland
3 published titles
Formal aspects of measurement : proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
(Contributor)
1 edition
- ISBN: 0387197885
- Springer-Verlag in collaboration with the British Computer Society
- 1992
- Details
BCS-FACS Northern Formal Methods Workshop : proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996
(Contributor)
1 edition
- ISBN: 3540761179
- Springer
- 1997
- Details
IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001
(Contributor)
1 edition
- ISBN: 1857691539
- University of Stirling, Dept. of Computing Science and Mathematics
- 2001
- Details
