Citação norma APA

Almeida, J. B., Barbosa, M., Filliâtre, J., Pinto, J. S., & Vieira, B. I. S. (2014). CAOVerif: An open-source deductive verification platform for cryptographic software implementations.

Citação norma Chicago

Almeida, José Bacelar, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, and Bárbara Isabel Sousa Vieira. CAOVerif: An Open-source Deductive Verification Platform for Cryptographic Software Implementations. 2014.

Citação norma MLA

Almeida, José Bacelar, et al. CAOVerif: An Open-source Deductive Verification Platform for Cryptographic Software Implementations. 2014.

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