Percorrer por autor 6045 Subscrever estatísticas do autor Autor
Mostrar 3-3 de um total de 3 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Jan-2022 | Why3-do: The way of harmonious distributed system proofs | Lourenço, Cláudio Belo; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |