Cornelia Pusch

Publication Activity (10 Years)

Years Active: 1996-2004
Publications (10 Years): 0

Publications

Tobias Nipkow, Cornelia Pusch
AVL Trees. Arch. Formal Proofs 2004 (2004)
Cornelia Pusch
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. TACAS (1999)
David von Oheimb, Cornelia Pusch
Java - formal fundiert. Java-Informations-Tage (1998)
Cornelia Pusch
Verification of Compiler Correctness for the WAM. TPHOLs (1996)