/javacard-semantics

K semantics for the javacard language

Java Card Definition