%0 Journal Article %1 journals/isse/AlmeidaBPV10 %A Almeida, José Bacelar %A Barbosa, Manuel %A Pinto, Jorge Sousa %A Vieira, Bárbara %D 2010 %J ISSE %K dblp %N 3 %P 203-218 %T Deductive verification of cryptographic software. %U http://dblp.uni-trier.de/db/journals/isse/isse6.html#AlmeidaBPV10 %V 6

@article{journals/isse/AlmeidaBPV10, added-at = {2010-11-08T00:00:00.000+0100}, author = {Almeida, José Bacelar and Barbosa, Manuel and Pinto, Jorge Sousa and Vieira, Bárbara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24cf26a43124367d5a5d0ba46b03e92e7/dblp}, ee = {http://dx.doi.org/10.1007/s11334-010-0127-y}, interhash = {f664a8fd9cde9619d8435360a12955ec}, intrahash = {4cf26a43124367d5a5d0ba46b03e92e7}, journal = {ISSE}, keywords = {dblp}, number = 3, pages = {203-218}, timestamp = {2016-02-02T10:40:33.000+0100}, title = {Deductive verification of cryptographic software.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse6.html#AlmeidaBPV10}, volume = 6, year = 2010 }