APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.