Citação norma APA

Vieira, B. I. S. (2012). Formal verification of cryptographic software implementations.

Citação norma Chicago

Vieira, Bárbara Isabel Sousa. Formal Verification of Cryptographic Software Implementations. 2012.

Citação norma MLA

Vieira, Bárbara Isabel Sousa. Formal Verification of Cryptographic Software Implementations. 2012.

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