Correctness of Java Card method lookup via logical relations
From MaRDI portal
Publication:2729052
zbMATH Open0971.68594MaRDI QIDQ2729052
Author name not available (Why is that?)
Publication date: 6 November 2001
No records found.
This page was built for publication: Correctness of Java Card method lookup via logical relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729052)