Percorrer por assunto Formal proofs
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2021 | Conversão para Why3 de formalizações em Coq | Ferreira, Bárbara Andreia Cardoso | Dissertação de mestrado | Acesso aberto |