Cita APA (7a ed.)
Michael Leuschel, H. W. Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Michael Leuschel, Heike Wehrheim. Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Michael Leuschel, Heike Wehrheim. Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.