학술논문
Reasoning about card tears and transactions in java card
Document Type
Article
Author
Source
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2984:114-128)
Subject
Language
English
ISSN
16113349
03029743
03029743