Barbosa MB, Pinto JS, Filliâtre JC, Vieira B.? 2010.??A Deductive Verification Platform for Cryptographic Software. Proceedings of the 4th International Workshop on Foundations and Techniques for Open Source Software Certification - OpenCert. 33