APA (7th ed.) Citation

International Conference on Integrated Formal Methods Canterbury, England, Boiten, E., Derrick, J., & Smith, G. (2004). Integrated formal methods: 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

International Conference on Integrated Formal Methods Canterbury, England, Eerke Boiten, John Derrick, and Graeme Smith. Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; Proceedings. Berlin ; Hong Kong: Springer-Verlag, 2004.

MLA (9th ed.) Citation

International Conference on Integrated Formal Methods Canterbury, England, et al. Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; Proceedings. Springer-Verlag, 2004.