External Links

    Journal: Journal of Logic and Algebraic Programming

    Volume 58, Issue 1-2

    1 -- 2Marieke Huisman, Thomas P. Jensen. Guest editors introduction: Special issue on Formal Methods for Smart Cards
    3 -- 25Igor Siveroni. Operational semantics of the Java Card Virtual Machine
    27 -- 60Gerwin Klein, Martin Strecker. Verified bytecode verification and type-certifying compilation
    61 -- 88Bart Jacobs. Weakest pre-condition reasoning for Java programs with JML annotations
    89 -- 106Claude Marché, Christine Paulin-Mohring, Xavier Urbain. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML
    107 -- 120Bart Jacobs, Martijn Oostdijk, Martijn Warnier. Source code verification of a secure payment applet
    runs on