Bart Jacobs, Claude Marché, Nicole Rauch. Formal Verification of a Commercial Smart Card Applet with Multiple Tools. 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 241-257, Springer, 2004. [doi]
Abstract is missing.