Towards a full formal specification of the javacard API

被引：0

作者：

Computing Science Institute, University of Nijmegen, Toernooiveld 1, ED, Nijmegen, Netherlands ^{[1
]}

机构：

来源：

Lect. Notes Comput. Sci. | / 165-178期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Formal specification

引用