Pesquisar
Adicionar filtros:
Utilizar filtros para refinar o resultado da pesquisa.
Registos:
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2019 | Generalising KAT to verify weighted computations | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | article | |
2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S. | bookPart |
Resultados 1-2 de 2.
- Anterior
- 1
- Próxima
Refinar
Assunto
Data de Publicação
- 2 2019