Percorrer por assunto Quantitative formal methods
Mostrar 1-2 de um total de 2 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2012 | Towards a linear algebra of programming | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
26-Jul-2021 | Towards a quantitative alloy | Silva, Pedro Faria Durães da | Dissertação de mestrado | Acesso aberto |