Andy Galloway

1 published title

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

(Contributor)

1 edition