Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
Dez-2016 | A framework for quality assessment of ROS repositories | Santos, André Filipe Faria; Cunha, Alcino; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
2015 | Studying verification conditions for imperative programs | Lourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin, et al. | Artigo | Acesso aberto |
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 |