(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.).
Style de citation Chicago (17e éd.)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.
Style de citation MLA (9e éd.)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.
Attention : ces citations peuvent ne pas être correctes à 100%.