Cornelia Pusch und Technische Universitaet - Info zur Person

(1 - 8 von 9

)

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.

AFP: diff thys/Jinja/JVM/JVMExec.thy

cl2-informatik.uibk.ac.at

... $Id: JVMExec.thy,v :57:20 lsf37 Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet Muenchen

AFP: diff thys/Jinja/JVM/JVMExecInstr.thy

cl2-informatik.uibk.ac.at

... + ID: $Id: JVMExecInstr.thy,v :07:44 fhaftmann Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet ...

AFP: diff thys/Jinja/BV/BVSpecTypeSafe.thy

cl2-informatik.uibk.ac.at

... BVSpecTypeSafe.thy,v :25:20 lsf37 Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet Muenchen ...

AFP: diff thys/Jinja/JVM/JVMState.thy

cl2-informatik.uibk.ac.at

... $Id: JVMState.thy,v :21:47 makarius Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet Muenchen ...

Alle Infos zum Namen "Cornelia Pusch"

Verwandte Suchanfragen zu Cornelia Pusch

Gerwin Klein
Norbert Schirmer
Martin Strecker

Cornelia Jahn
Marie Brauch
Albert Pusch

Conny Pusch

Person "Pusch" (14)
Vorname "Cornelia" (25578)
Name "Pusch" (1002)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Cornelia Pusch und Technische Universitaet Person-Info