Percorrer por revistas 79350
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 |
2015 | Refinement in hybridised institutions | Madeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S., et al. | Artigo | Acesso aberto |
Abr-1990 | A reification calculus for model-oriented software specification | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2012 | Towards a linear algebra of programming | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |