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.) CitationAraki, 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.) CitationAraki, Keijiro, et al. IFM'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999. Springer London, 1999.
Warning: These citations may not always be 100% accurate.