Specifying Java Card API in OCL

Open Access

Publisher Website

2 November 2004

journal article
Published by Elsevier BV in Electronic Notes in Theoretical Computer Science

Vol. 102, 3-19
https://doi.org/10.1016/j.entcs.2003.09.001

Abstract

No abstract available

Keywords

Cited by 7 articles