Cornelia Pusch Vis

*	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	EE	Cornelia Pusch: Verification of Compiler Correctness for the WAM. TPHOLs 1996: 347-361

Coauthor Index

1

David von Oheimb

[2]