Citação norma APA

Gomes, L., Madeira, A., & Barbosa, L. S. (2020). Generalising KAT to verify weighted computations.

Citação norma Chicago

Gomes, Leandro, Alexandre Madeira, and Luis S. Barbosa. Generalising KAT to Verify Weighted Computations. 2020.

Citação norma MLA

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.