Percorrer por autor Lourenço, Cláudio Belo Subscrever estatísticas do autor Lourenço, Cláudio Belo
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2014 | A bounded model checker for SPARK programs | Lourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |