A. S. Evans
2 published titles
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
2nd BCS-FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 14-15 July 1997
(Contributor)
1 edition
- ISBN: 3540762159
- Springer
- 1998
- Details
