Brazilian Symposium on Formal Methods Sâo Paulo, Brazil, SpringerLink (Online service), Simao, A., & Morgan, C. (2011). Formal methods, foundations and applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Springer.
Lua i Stíl Chicago (17ú heag.)Brazilian Symposium on Formal Methods Sâo Paulo, Brazil, SpringerLink (Online service), Adenilso Simao, agus Carroll Morgan. Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer, 2011.
Lua MLA (9ú heag.)Brazilian Symposium on Formal Methods Sâo Paulo, Brazil, et al. Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Springer, 2011.