Cornelia Pusch und Tobias Nipkow - Info zur Person

(1 - 12 von 12

)

Tools and Algorithms for the Construction of Analysis of Systems: 5th...

books.google.com.ua

Addison-Wesley, Tobias Nipkow, David von Oheimb, and Cornelia Pusch. Project Bali. http://www.in.tum.de/~isabelle/bali/. David von Oheimb and Tobias ...

Computer Aided Verification: ... International Conference, CAV

books.google.de

Tobias Nipkow, David von Oheimb, and Cornelia Pusch. μJava: Embedding a programming language in a theorem prover. In Friedrich L. Bauer and Ralf Steinbr ...

Theoretical Aspects of Com…ng - ICTAC 2005: Second International...

books.google.de

Tobias Nipkow, David von Oheimb and Cornelia Pusch. μJava: Embedding a Programming Language in a Theorem Prover. In Foundations of Secure ...

Tobias Nipkow - dblpdblp.org › Persons

dblp.org

... Mendeley · BibSonomy · LinkedIn · Facebook. persistent URL: https://dblp.org/rec/journals/afp/NipkowP04. Tobias Nipkow, Cornelia Pusch:

Google Groups: Praktikum Spezifikation und Verifikation

: Cornelia Pusch -muenchen.de tum info studium ANKUENDIGUNG Praktikum Spezifikation und Verifikation Prof. Tobias Nipkow, Ph.D., ...

AVL Trees - Archive of Formal Proofs

devel.isa-afp.org

Title: AVL Trees. Authors: Tobias Nipkow and Cornelia Pusch. Submission date: Abstract: Two formalizations of AVL trees with room for extensions.

Extracting a formally verified, fully executable compiler from a...

docplayer.net

[NOP00] Tobias Nipkow, David von Oheimb, and Cornelia Pusch Java Review (Essentials of Java for Hadoop) Have You Joined Our LinkedIn Group?

AFP: diff thys/AVL-Trees/AVL.thy

cl2-informatik.uibk.ac.at

:44:18 makarius Exp $ 1.6 + ID: $Id: AVL.thy,v :34:05 fhaftmann Exp $ 1.7 Author: Tobias Nipkow and Cornelia Pusch, ...

µJava: Embedding a Programming Language in a Theorem Prover

david.von-oheimb.de

Author(s): Tobias Nipkow, David von Oheimb, Cornelia Pusch Year: Publisher: IOS Press Editor: Friedrich L. Bauer and Ralf Steinbrüggen CR Classification: D.3.1

AVL Trees - Archive of Formal Proofs

www.isa-afp.org

Title: AVL Trees: Author: Tobias Nipkow and Cornelia Pusch: Submission date: : Abstract: Two formalizations of AVL trees with room for extensions.

reference request - What's new in purely functional data structures...

cstheory.stackexchange.com

Tobias Nipkow and Cornelia Pusch formalized AVL trees. Viktor Kuncak formalized unbalanced binary search trees. Peter Lammich published The Isabelle Collections framework

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 Tobias Nipkow Person-Info