Almeida JB, Barbosa MB, Pinto JS, Vieira B.? 2010.??Deductive verification of cryptographic software. The 8th IEEE International Conference on Software Engineering and Formal Methods - SEFM.