From finite state machines to provably correct java card applets

被引：0

作者：

Hubbers, Engelbert ^{[1
]}

Oostdijk, Martijn ^{[1
]}

Poll, Erik ^{[1
]}

机构：

[1] Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, P.O.Box 9010, 6500GL, Nijmegen, Netherlands

来源：

IFIP Advances in Information and Communication Technology | / 465-470期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Java programming language - Specification languages

引用