APA (7. basım) Alıntı
John Derrick, S. G. Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer.
Chicago Style (17. basım) Atıf
John Derrick, Stefania Gnesi. Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Berlín, Alemania: Springer.
MLA (9th ed.) Atıf
John Derrick, Stefania Gnesi. Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..