Cornelia Pusch und Universitaet Muenchen - Info zur Person

(1 - 7 von 8

)

The Team - Technische Universität München

www21.in.tum.de

Cornelia Pusch Franz Regensburger; Norbert Schirmer; Sebastian Skalberg; Konrad Slind; Martin Strecker; Dmitriy Traytel; Thomas Türk; Christian Urban; Tjark Weber ...

joachimbreitner / Archive of Formal Proofs - Code / [0a5222]...

sourceforge.net

Author: Cornelia Pusch, Gerwin Klein. Copyright Technische Universitaet Muenchen. *). header {*. \chapter{Jinja Virtual Machine}\label{cha:jvm}.

Theory JVMExecInstr (Isabelle2019: June 2019)

www.cl.cam.ac.uk

Title: HOL/MicroJava/JVM/JVMExecInstr.thy Author: Cornelia Pusch, Gerwin Klein Copyright Technische Universitaet Muenchen *) section ‹JVM Instruction ...

Proving the Soundness of a Java Bytecode Verifier Specification in...

link.springer.com

Proving the Soundness of a Java Bytecode. Verifier Specification in Isabelle/HOL. Cornelia Pusch. *. Institut für Informatik, Technische Universität München.