@misc{indiciae5ee04b0ee899,
  title = {Deductive Verification of Cryptographic Software},
  author = {Almeida, Jose Barcelar and Barbosa, Manuel and Pinto, Jorge Sousa and Vieira, Barbara},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20100024460},
  note = {Source identifier: 20100024460}
}