Citação norma APA

Barnett, M. Weakest-precondition of unstructured programs. Software engineering notes..

Citação norma Chicago

Barnett, Mike. "Weakest-precondition of Unstructured Programs." Software Engineering Notes. .

Citação norma MLA

Barnett, Mike. "Weakest-precondition of Unstructured Programs." Software Engineering Notes., .

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