Citação norma APA

Towards certified program logics for the verification of imperative programs.

Citação norma Chicago

Towards Certified Program Logics for the Verification of Imperative Programs.

Citação norma MLA

Towards Certified Program Logics for the Verification of Imperative Programs.

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