APA Citation

Barroso, P. M. L. (2020). Formally Verified Bug-free Implementations of (Logical) Algorithms.

Chicago Style Citation

Barroso, Pedro Miguel Laforêt. Formally Verified Bug-free Implementations of (Logical) Algorithms. 2020.

MLA Citation

Barroso, Pedro Miguel Laforêt. Formally Verified Bug-free Implementations of (Logical) Algorithms. 2020.

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.