Percorrer por assunto Concepção formal de software
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
20-Dez-2021 | Lightweight trustworthy high-level software design | Liu, Chong | Tese de doutoramento | Acesso aberto |