Leonor Prensa and David Von Oheimb - Free people check

(1 - 8 from 9

)

Isabelle - Mathematical and Computer Sciences

www.macs.hw.ac.uk

by T Nipkow · — Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia. Pusch and Markus Wenzel. Stefan Berghofer and Stephan Merz were also. › events › lecture-notes

A Machine-Checked, Type-Safe Model of Java Concurrency : Language,...

books.google.de

[84] [85] [87] [88] Gerwin Klein, Tobias Nipkow, David von Oheimb, Leonor Prensa Nieto, Norbert Schirmer, and Martin Strecker. Java source and bytecode ...

Isabelle/HOL: A Proof Assistant for Higher-Order Logic - Tobias...

books.google.de

... Isabelle group at Munich: Stefan Berghofer, Olaf Müller, Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch, Norbert Schirmer, ...

Java Source and Bytecode Formalizations in Isabelle: µJava

citeseerx.ist.psu.edu

by G Klein · · Cited by 2 — by Gerwin Klein , Tobias Nipkow , David von Oheimb , Leonor Prensa Nieto , Norbert Schirmer , Martin Strecker. Summary · Citations · Active Bibliography ... › viewdoc › summary

Preface - Documentation

proofgeneral.github.io

... John Longley, Erik Martin-Dorel, Assia Mahboubi, Adam Megacz, Stefan Monnier, Tobias Nipkow, Clement Pit–Claudel, Leonor Prensa Nieto, David von Oheimb, ... › doc › master › userman

Java Source and Bytecode Formalizations in Isabelle: µJavaciteseerx.ist.psu.edu › viewdoc › summary

citeseerx.ist.psu.edu

by Gerwin Klein , Tobias Nipkow , David von Oheimb , Leonor Prensa Nieto , Norbert Schirmer , Cornelia Pusch , Martin Strecker ...

Team

www21.in.tum.de

Leonor Prensa Nieto; Lars Noschinski; Steven Obua; David von Oheimb; Andrei Popescu; Christian Prehofer; Cornelia Pusch Franz Regensburger; Norbert Schirmer ...

isabelle.in.tum.de

... /free-copies Tue Feb :43: +0100 @@ -0,0 +1,8 @@ +David Aspinall +Stefan Berghofer +David von Oheimb +Leonor Prensa Nieto +Cornelia Pusch ...

All web results to the name "Leonor Prensa"

Related search requests for Leonor Prensa

Tobias Nipkow
Gilles Barthe
Gerwin Klein

Norbert Schirmer
Javier Esparza
Stephan Merz

Pascal Fontaine
Olaf Müller
Konrad Slind

People
Forename "Leonor" (2351)
Name "Prensa" (29)

sorted by relevance / date

Advanced Search

Search name: 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

Leonor Prensa and David Von Oheimb Free People Check