2004 | ||
---|---|---|
3 | EE | Bart Jacobs, Claude Marché, Nicole Rauch: Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST 2004: 241-257 |
2 | EE | Arnd Poetzsch-Heffter, Nicole Rauch: Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217 |
2003 | ||
1 | EE | 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] |