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 / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.).

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 / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). 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 / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). 2009.