Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

MLA

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

APA

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

Chicago

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