Percorrer por assunto Program semantics
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
8-Abr-2022 | Weighted computations: semantics and program logics | Gomes, Leandro Rafael Moreira | Tese de doutoramento | Acesso aberto |