| |
| 2005 | ||
|---|---|---|
| 2 | EE | Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs: Formal methods for smart cards: an experience report. Sci. Comput. Program. 55(1-3): 53-80 (2005) |
| 2002 | ||
| 1 | EE | Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg: Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST 2002: 304-318 |
| 1 | Joachim van den Berg | [1] |
| 2 | Néstor Cataño | [2] |
| 3 | Marieke Huisman | [2] |
| 4 | Bart Jacobs | [1] [2] |