Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.