- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 3 |      | Bart Jacobs, Claude Marché, Nicole Rauch: Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST 2004: 241-257 |
| 2 | | Arnd Poetzsch-Heffter, Nicole Rauch: Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217 |
| 2003 | ||
| 1 | | Nicole Rauch, Burkhart Wolff: Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 1 | Bart Jacobs | [3] |
| 2 | Claude Marché | [3] |
| 3 | Arnd Poetzsch-Heffter | [2] |
| 4 | Burkhart Wolff | [1] |