APA (7th ed.) Citation

(2009). Formal methods: foundations and applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers. Springer.

Chicago Style (17th ed.) Citation

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2009.

MLA (9th ed.) Citation

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; Revised Selected Papers. Springer, 2009.