%0 Journal Article %1 journals/tcs/DenneyJ02 %A Denney, Ewen %A Jensen, Thomas P. %D 2002 %J Theor. Comput. Sci. %K %N 2 %P 305-331 %T Correctness of Java card method lookup via logical relations. %U http://dblp.uni-trier.de/db/journals/tcs/tcs283.html#DenneyJ02 %V 283

@article{journals/tcs/DenneyJ02, added-at = {2023-12-12T19:15:27.000+0100}, author = {Denney, Ewen and Jensen, Thomas P.}, biburl = {https://www.bibsonomy.org/bibtex/2c52c6783628879c1326c71cead477e4e/admin}, date = {2003-11-19}, ee = {http://dx.doi.org/10.1016/S0304-3975(01)00138-4}, interhash = {1e054bd0ce11fbb01a594d90a29c5c1d}, intrahash = {c52c6783628879c1326c71cead477e4e}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 2, pages = {305-331}, timestamp = {2023-12-12T19:15:27.000+0100}, title = {Correctness of Java card method lookup via logical relations.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs283.html#DenneyJ02}, volume = 283, year = 2002 }