Cita APA (7th ed.)

(2009). Formal methods: Foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.).

Cita Chicago (17th ed.)

Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : Revised Selected Papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). 2009.

Cita MLA (9th ed.)

Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : Revised Selected Papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). 2009.