Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2012 | Assertion-based slicing and slice graphs | Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo | Acesso aberto |
2010 | Assertion-based slicing and slice graphs | Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
2002 | Deriving animations from recursive definitions | Cunha, Alcino; Barros, José Bernardo; Saraiva, João Alexandre | Artigo em ata de conferência | Acesso aberto |
2000 | Polytipic recursion patterns | Barbosa, L. S.; Barros, José Bernardo; Almeida, J. J. | Artigo em ata de conferência | Acesso aberto |