Generalising KAT to Verify Weighted Computations Artigo Académico

http://dx.doi.org/10.7561/sacs.2019.2.141

Visão geral
Identidade
Informação adicional documento
Ver Todos

autores

Gomes, Leandro Rafael Moreira
Madeira, A
Barbosa, L.S.

data de publicação

dezembro 2019

publicada em

Scientific Annals of Computer Science Revista