Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999

Keijiro Araki, Andy Galloway, Kenji Taguchi, editors, Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. Springer, 1999.

Conference: IFM1999

Abstract

Abstract is missing.

Table of Contents