Cita APA (7a ed.)
Dominique Méry, S. M. Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Dominique Méry, Stephan Merz. Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Dominique Méry, Stephan Merz. Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.