APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

Gomes, Leandro, et al. Generalising KAT to Verify Weighted Computations. 2020.