Operational semantics of the Java Card Virtual Machine
From MaRDI portal
Publication:1881664
DOI10.1016/j.jlap.2003.07.003zbMath1073.68673OpenAlexW2116590474MaRDI QIDQ1881664
Publication date: 14 October 2004
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2003.07.003
Related Items
Uses Software
Cites Work