IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 1999 · ENGLISH · PDF View details →