Sciweavers

70
Voted
AMAST
2004
Springer
15 years 17 days ago
A Formally Verified Calculus for Full Java Card
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
Kurt Stenzel