Manuel Barbosa Jorge Sousa Pinto Jean-Christophe Filliâtre Bárbara Vieira A Deductive Verification Platform for Cryptographic Software. 2010 33 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.33.461 db/journals/eceasst/eceasst33.html#BarbosaPFV10