APA Citation

Gonçalves, A. M. C. (2024). Distributed systems verification using Why3.

Chicago Style Citation

Gonçalves, António Manuel Carvalho. Distributed Systems Verification Using Why3. 2024.

MLA Citation

Gonçalves, António Manuel Carvalho. Distributed Systems Verification Using Why3. 2024.

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.