SpringerLink (Online service), Boiten, E. A., Derrick, J., & Smith, G. (2004). Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Eerke A. Boiten, John Derrick, and Graeme Smith. Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings. Springer Berlin Heidelberg, 2004.
Warning: These citations may not always be 100% accurate.