Marcel Vinicius Medeiros Oliveira (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4

Marcel Vinicius Medeiros Oliveira, Jim Woodcock: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers Springer 2009

Selection of 1 from 4 records - Marcel Vinicius Medeiros Oliveira has 9 coauthors