APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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.

MLA (8th ed.) Citation

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