APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.