Nicole Rauch

发表

Precondition Generation for a Java Subset

Nicole Rauch, 2002 .

Jive Data and Store Model

Norbert Schirmer, Nicole Rauch, 2005, Arch. Formal Proofs.

Dynamic and Quantitative Assessment of Blood Coagulation Status with an Oscillatory Rheometer

Nicole Rauch, Hans P. Wendel, Silju-John Kunnakattu, 2018 .

Application and Formal Specification of Sorted Term-Position Algebras

Arnd Poetzsch-Heffter, Nicole Rauch, 2004, WADT.

Formal Verification of a Commercial Smart Card Applet with Multiple Tools

Bart Jacobs, Claude Marché, Nicole Rauch, 2004, AMAST.

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL

Burkhart Wolff, Nicole Rauch, N. Rauch, 2003, FMICS.

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL

Burkhart Wolff, Nicole Rauch, 2003, Electron. Notes Theor. Comput. Sci..