| Data | Título | Autor(es) | Tipo | Acesso |
| 2013 | Automated theorem proving for the systematic analysis of an infusion pump | Harrison, Michael douglas; Masci, P.; Campos, José C., et al. | Artigo | Acesso aberto |
| 2013 | Automated theorem proving for the systematic analysis of interactive systems | Harrison, M. D.; Masci, P.; Campos, J. Creissac, et al. | Artigo | Acesso aberto |
| 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 |
| 2012 | Delta lenses over inductive types | Pacheco, Hugo; Cunha, Alcino; Hu, Zhenjiang | Artigo | Acesso aberto |
| 2010 | GUI inspection from source code analysis | Silva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre | Artigo | Acesso aberto |
| 2011 | Modelling and analysing the interactive behaviour of an infusion pump | Campos, J. Creissac; Harrison, Michael D. | Artigo | Acesso aberto |
| 2010 | Safe integration of annotated components in open source projects | Areias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | 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 |
