publicações selecionadas
-
artigo de conferência
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Computational Methods in Applied Sciences. 2019
Jain, Manisha
- Publicações
- Contato
- Ver Todos