publicações selecionadas
-
artigo de conferência
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. International Journal on Software Tools for Technology Transfer. 2019
-
documento