Percorrer por autor 12541 Subscrever estatísticas do autor Autor
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
11-Abr-2022 | Verification of distributed algorithms with the Why3 tool | Cruz, Carla Isabel Novais | Dissertação de mestrado | Acesso aberto |