RUS
ENG
Full version
PEOPLE
Klebanov Andrey Aleksandrovich
Publications in Math-Net.Ru
Automata-based approach for correct Java Card-program
Model. Anal. Inform. Sist.
,
15
:3 (2008),
47–55
©
Steklov Math. Inst. of RAS
, 2024