APA (7th ed.) Citation

SpringerLink (Online service), Groves, L., & Sun, J. (2013). Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Lindsay Groves, and Jing Sun. Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2013.