%0 Journal Article %1 journals/eceasst/BarbosaPFV10 %A Barbosa, Manuel %A Pinto, Jorge Sousa %A Filliâtre, Jean-Christophe %A Vieira, Bárbara %D 2010 %J ECEASST %K dblp %T A Deductive Verification Platform for Cryptographic Software. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst33.html#BarbosaPFV10 %V 33

@article{journals/eceasst/BarbosaPFV10, added-at = {2019-05-22T00:00:00.000+0200}, author = {Barbosa, Manuel and Pinto, Jorge Sousa and Filliâtre, Jean-Christophe and Vieira, Bárbara}, biburl = {https://www.bibsonomy.org/bibtex/2cf089c5a7845f55677bb2972991dbda7/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.33.461}, interhash = {51499a10d363c6ec2f7d4d4c7238a478}, intrahash = {cf089c5a7845f55677bb2972991dbda7}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-05-23T11:51:03.000+0200}, title = {A Deductive Verification Platform for Cryptographic Software.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst33.html#BarbosaPFV10}, volume = 33, year = 2010 }