Citação APA (7ª ed.)
Einar Broch Johnsen, L. P. Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings. Springer.
Citação do estilo Chicago (17ª ed.)
Einar Broch Johnsen, Luigia Petre. Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings. Berlín, Alemania: Springer.
Citação MLA (9ª ed.)
Einar Broch Johnsen, Luigia Petre. Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.