publicações selecionadas
-
artigo académico
- Assertion-based slicing and slice graphs. Formal Aspects of Computing. 2012
- Semantics of non-terminating rewrite systems using minimal coverings 1996
-
livro
JOSÉ BERNARDO DOS SANTOS MONTEIRO VIEIRA DE BARROS
- Publicações
- Contato
- Ver Todos