dblp.uni-trier.dewww.uni-trier.de

Nicole Rauch

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Bart Jacobs [3]
2Claude Marché [3]
3Arnd Poetzsch-Heffter [2]
4Burkhart Wolff [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)