A B model for ensuring soundness of a large subset of the Java card virtual machine
From MaRDI portal
Publication:1870867
DOI10.1016/S0167-6423(02)00095-3zbMath1032.68043MaRDI QIDQ1870867
Publication date: 14 May 2003
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items (1)
This page was built for publication: A B model for ensuring soundness of a large subset of the Java card virtual machine
