%0 Journal Article %1 journals/iacr/KustersSTG14 %A Küsters, Ralf %A Scapin, Enrico %A Truderung, Tomasz %A Graf, Juergen %D 2014 %J IACR Cryptology ePrint Archive %K dblp %P 38 %T Extending and Applying a Framework for the Cryptographic Verification of Java Programs. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2014.html#KustersSTG14 %V 2014

@article{journals/iacr/KustersSTG14, added-at = {2018-08-14T00:00:00.000+0200}, author = {Küsters, Ralf and Scapin, Enrico and Truderung, Tomasz and Graf, Juergen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2271781a3dab46ad2bae1766d06fbbe0e/dblp}, ee = {http://eprint.iacr.org/2014/038}, interhash = {c3909d936d792c390262a9b9f166c506}, intrahash = {271781a3dab46ad2bae1766d06fbbe0e}, journal = {IACR Cryptology ePrint Archive}, keywords = {dblp}, pages = 38, timestamp = {2019-09-27T11:08:51.000+0200}, title = {Extending and Applying a Framework for the Cryptographic Verification of Java Programs.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2014.html#KustersSTG14}, volume = 2014, year = 2014 }