4584459
9789813083318
Groves, L. is the author of 'Formal Methods - Pacific: Proceedings of the Fmp-97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium - L. Groves - Paperback' with ISBN 9789813083318 and ISBN 981308331X.
[read more]