APA Citation

Pereira, D. M. R. (2013). Towards certified program logics for the verification of imperative programs.

Chicago Style Citation

Pereira, David Miguel Ramalho. Towards Certified Program Logics for the Verification of Imperative Programs. 2013.

MLA Citation

Pereira, David Miguel Ramalho. Towards Certified Program Logics for the Verification of Imperative Programs. 2013.

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.