Citação norma APA

Hamlet, D. Invariants and state in testing and formal methods. Software engineering notes..

Citação norma Chicago

Hamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes. .

Citação norma MLA

Hamlet, Dick. "Invariants and State in Testing and Formal Methods." Software Engineering Notes., .

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