Specification of the Javacard API in JML
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Computer Aided VerificationPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994