Brazilian Symposium on Formal Methods Natal, Brazil, SpringerLink (Online service), Davies, J., Silva, L., & Simao, A. (2011). Formal methods: foundations and applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Brazilian Symposium on Formal Methods Natal, Brazil, SpringerLink (Online service), Jim Davies, Leila Silva, và Adenilso Simao. Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer, 2011.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Brazilian Symposium on Formal Methods Natal, Brazil, et al. Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Springer, 2011.