Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira. Deductive Verification of Cryptographic Software. In Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu, editors, First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. Volume NASA/CP-2009-215407 of NASA Conference Proceedings, pages 146-155, 2009.
Abstract is missing.