APA (7th ed.) Citation

Araki, K., Galloway, A., & Taguchi, K. (1999). IFM'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999. Springer London.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Araki, Keijiro, et al. IFM'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999. Springer London, 1999.