Percorrer por assunto Weighted computations
Mostrar 1-1 de um total de 1 resultados.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| Out-2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha, et al. | Artigo em ata de conferência | Acesso aberto |