Percorrer por autor Fialho, Diogo Subscrever estatísticas do autor Fialho, Diogo
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2008 | A comparative study of verification condition generators | Fialho, Diogo; Pinto, Jorge Sousa | Outro | Acesso aberto |