APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.