Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service), Butler, M., & Schulte, W. (2011). FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service), Michael Butler, και Wolfram Schulte. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2011.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service), et al. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2011.