C. Rattray
5 published titles
Specification and verification of concurrent systems
(Contributor)
1 edition
- ISBN: 3540195815
- Springer-Verlag
- 1990
- Details
Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
(Contributor)
1 edition
- ISBN: 3540197974
- Springer, published in collaboration with the British Computer Society
- 1992
- Details
The Unified computation laboratory : modelling, specifications, and tools
(Contributor)
1 edition
- ISBN: 0198536844
- Clarendon
- 1992
- Details
Joint Workshop on Formal Specification of Computer-Based Systems
(Contributor)
3 editions
- ISBN: 1857691210
- University of Stirling, Dept. of Computing Science and Mathematics
- 2000
- Details
- ISBN: 185769144X
- University of Stirling, Dept. of Computing Science and Mathematics
- 2001
- Details
- ISBN: 1857691695
- University of Stirling, Dept. of Computing Science and Mathematics
- 2002
- Details
5th Joint Workshop on Formal Specification of Computer-Based Systems : Brno, Czech Republic, May 27, 2004
(Contributor)
1 edition
- ISBN: 1857691970
- Department of Computing Science, University of Stirling
- 2004
- Details
