%0 Conference Paper %1 conf/esop/DenneyJ00 %A Denney, Ewen %A Jensen, Thomas P. %B ESOP %D 2000 %E Smolka, Gert %I Springer %K %P 104-118 %T Correctness of Java Card Method Lookup via Logical Relations. %U http://dblp.uni-trier.de/db/conf/esop/esop2000.html#DenneyJ00 %V 1782 %@ 3-540-67262-1

@inproceedings{conf/esop/DenneyJ00, added-at = {2023-12-13T05:59:49.000+0100}, author = {Denney, Ewen and Jensen, Thomas P.}, biburl = {https://www.bibsonomy.org/bibtex/22e24bfba174fdbd84541c1e57f580b36/admin}, booktitle = {ESOP}, crossref = {conf/esop/2000}, editor = {Smolka, Gert}, ee = {https://doi.org/10.1007/3-540-46425-5_7}, interhash = {a91a2efd23b6b20dcc37ebeef8b238f9}, intrahash = {2e24bfba174fdbd84541c1e57f580b36}, isbn = {3-540-67262-1}, keywords = {}, pages = {104-118}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:59:49.000+0100}, title = {Correctness of Java Card Method Lookup via Logical Relations.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2000.html#DenneyJ00}, volume = 1782, year = 2000 }