APA (7th ed.) Citation

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.) Citation

SpringerLink (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.) Citation

SpringerLink (Online service), et al. Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings. Springer Berlin Heidelberg, 2004.