Percorrer por autor 1936 Subscrever estatísticas do autor Autor
Mostrar 77-77 de um total de 77 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 |