MPG.eBooks - Author Search Results

Cover Image

1

IFM’99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

Published 1999

Springer London

Other Authors: “...Galloway, Andy...”

Cover Image

2

ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Galloway, Andy...”