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 do estilo Chicago (17ª ed.)Almeida, José Bacelar, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, e Bárbara Isabel Sousa Vieira. CAOVerif: An Open-source Deductive Verification Platform for Cryptographic Software Implementations. 2014.
Citação MLA (8ª ed.)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.