Pereira, D. M. R. (2013). Towards certified program logics for the verification of imperative programs.
Citação do estilo Chicago (17ª ed.)Pereira, David Miguel Ramalho. Towards Certified Program Logics for the Verification of Imperative Programs. 2013.
Citação MLA (8ª ed.)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.