A B model for ensuring soundness of a large subset of the Java card virtual machine
type: Item
instance of: scholarly article
title: A B model for ensuring soundness of a large subset of the Java card virtual machine
zbMATH Open document ID: 1032.68043
DOI: 10.1016/S0167-6423(02)00095-3
author: Antoine Requet
published in: Science of Computer Programming
publication date: 2003-05-14T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1910214
zbMATH Keywords: B method
zbMATH Keywords: Java card
zbMATH Keywords: Formal specification
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1910214