APA (7th ed.) Citation

SpringerLink (Online service), Romijn, J., Smith, G., & Pol, J. v. d. (2005). Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Judi Romijn, Graeme Smith, and Jaco van de Pol. Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings. Springer Berlin Heidelberg, 2005.