Formal verification of cryptographic software implementations - Vieira, Bárbara Isabel Sousa (2012)
Tese de doutoramento em Informática