Citace podle APA (7th ed.)

International Symposium of Formal Methods Europe Limerick, Limerick, Ireland, 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.

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

International Symposium of Formal Methods Europe Limerick, Limerick, Ireland, et al. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Springer, 2011.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..