Data | Título | Autor(es) | Tipo | Acesso |
2013 | Composing least-change lenses | Macedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino, et al. | Artigo | Acesso aberto |
2010 | A deductive verification platform for cryptographic software | Barbosa, Manuel; Pinto, Jorge Sousa; Filliâtre, Jean-Christophe, et al. | Artigo | Acesso aberto |
2010 | GUI inspection from source code analysis | Silva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre | Artigo | Acesso aberto |
2015 | Studying verification conditions for imperative programs | Lourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin, et al. | Artigo | Acesso aberto |
2010 | Testing as a certification approach | Simões, Alberto; Carvalho, Nuno; Almeida, J. J. | Artigo | Acesso aberto |
2007 | Visual programming with recursion patterns in interaction nets | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |
2007 | Visual programming with recursion patterns in interaction nets | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo em ata de conferência | Acesso aberto |