Citação norma APA

Toninho, B. P. C. F. (2009). A Logic and tool for local reasoning about security protocols.

Citação norma Chicago

Toninho, Bernardo Parente Coutinho Fernandes. A Logic and Tool for Local Reasoning About Security Protocols. 2009.

Citação norma MLA

Toninho, Bernardo Parente Coutinho Fernandes. A Logic and Tool for Local Reasoning About Security Protocols. 2009.

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