On the Generation of Equational Dynamic Logics for Weighted Imperative Programs Capítulo de livro uri icon

autores

  • Barbosa, L. S.
  • Gomes, Leandro
  • Madeira, A
  • Jain, Manisha

data de publicação

  • 2019