Gomes, L., Madeira, A., & Barbosa, L. S. (2020). Generalising KAT to verify weighted computations.
Citação do estilo Chicago (17ª ed.)Gomes, Leandro, Alexandre Madeira, e Luis S. Barbosa. Generalising KAT to Verify Weighted Computations. 2020.
Citação MLA (8ª ed.)Gomes, Leandro, et al. Generalising KAT to Verify Weighted Computations. 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.