APA Citation

HASLab INESC TEC,Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal,, CIDMA,Universidade de Aveiro,Campus Universitario de Santiago,3810-193 Aveiro,Portugal,, Barbosa, L. S., Madeira,A, Gomes, L. R., & Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal & Quantum Software Engineering Group,INL. (2019). Generalising KAT to Verify Weighted Computations.

Chicago Style Citation

HASLab INESC TEC,Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal,, CIDMA,Universidade de Aveiro,Campus Universitario de Santiago,3810-193 Aveiro,Portugal, Luís Soares Barbosa, Madeira,A, Leandro Rafael Gomes, and Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal & Quantum Software Engineering Group,INL. Generalising KAT to Verify Weighted Computations. 2019.

MLA Citation

HASLab INESC TEC,Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal,, et al. 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.