IFM’99 Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999 Araki Keijiro Heftet / 1999 / Engelsk
