Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

MLA

Butler, Michael, et al. Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. 1st ed. 2015. Cham : Springer International Publishing : Imprint: Springer, 2015.

APA

Butler, M., Conchon, S., Zaïdi, F. & SpringerLink (Online service). (2015). Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. 1st ed. 2015. Cham : Springer International Publishing : Imprint: Springer.

Chicago

Butler, Michael, Sylvain Conchon, Fatiha Zaïdi and SpringerLink (Online service). Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Edited by Michael Butler and Sylvain Conchon and Fatiha Zaïdi. 1st ed. 2015. Cham : Springer International Publishing : Imprint: Springer, 2015.