Generalising KAT to Verify Weighted Computations Artigo Académico uri icon

autores

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

data de publicação

  • dezembro 2019