Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java
- 9 July 2002
- book chapter
- Published by Springer Nature
- p. 272-289
- https://doi.org/10.1007/3-540-45614-7_16
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- CHASE:A Static Checker for JML’s Assignable ClausePublished by Springer Nature ,2002
- Towards a Full Formal Specification of the JavaCard APIPublished by Springer Nature ,2001
- A case study in class library verification: Java’s vector classInternational Journal on Software Tools for Technology Transfer, 2001
- An Architecture for Interactive Program ProversPublished by Springer Nature ,2000