Kurt Stenzel. A Formally Verified Calculus for Full Java Card. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 491-505, Springer, 2004. [doi]
Abstract is missing.