Marcel Vinicius Medeiros Oliveira (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira: Tool Support for the CircusRefinement Calculus. ABZ 2008: 349

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