Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A B model for ensuring soundness of a large subset of the Java card virtual machine - MaRDI portal

A B model for ensuring soundness of a large subset of the Java card virtual machine

From MaRDI portal

Publication:1870867

Jump to:navigation, search

DOI10.1016/S0167-6423(02)00095-3zbMath1032.68043MaRDI QIDQ1870867

Antoine Requet

Publication date: 14 May 2003

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

B method Java card Formal specification

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Operational semantics of the Java Card Virtual Machine

This page was built for publication: A B model for ensuring soundness of a large subset of the Java card virtual machine

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1870867&oldid=14262686"