Formal methods: foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /

Por Brazilian Symposium on Formal Methods, Gheyi, Rohit., Naumann, David.
Publicado em 2012

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

Por Brazilian Symposium on Formal Methods, Oliveira, Marcel Vinícius Medeiros., Woodcock, Jim.
Publicado em 2009