Cornelia Pusch

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

3 EE Cornelia Pusch: Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. TACAS 1999: 89-103

1998

2 David von Oheimb, Cornelia Pusch: Java - formal fundiert. Java-Informations-Tage 1998: 77-86

1996

1 Cornelia Pusch: Verification of Compiler Correctness for the WAM. TPHOLs 1996: 347-361

1999
3	EE	Cornelia Pusch: Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. TACAS 1999: 89-103
1998
2		David von Oheimb, Cornelia Pusch: Java - formal fundiert. Java-Informations-Tage 1998: 77-86
1996
1		Cornelia Pusch: Verification of Compiler Correctness for the WAM. TPHOLs 1996: 347-361

Coauthor Index

1 David von Oheimb [2]