Christoph Gladisch und Tyszberowicz - Info zur Person

(1 - 8 von 8

)

Shmuel (Tysh) Tyszberowicz, Publications list

www.cs.mta.ac.il

Ferruccio Damiani, David Faitelson, Christoph Gladisch and Shmuel S. Tyszberowicz. A novel model-based testing approach for software product lines, Software and ... › staff › S...

Deductive Software Verification – The KeY Book: From Theory to...

books.google.de

Christoph Gladisch and Shmuel Tyszberowicz. Specifying a linked data structure in JML for formal verification and runtime checking.

KeY Project: Integrated Deductive Software Design

i12www.ilkd.uni-karlsruhe.de

Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert, Amiram Yehudai ... Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer › ...

TAP: Tests & Proofs 2010, Malaga

www.st.cs.uni-saarland.de

Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert and Amiram Yehudai. Generating Regression Unit Tests using a Combination of Verification and ... › ...

Generating Regression Unit Tests Using a Combination of ...

link.springer.com

von C Gladisch · · Zitiert von: 7 — Christoph Gladisch. School of Computer Science, The Academic College of Tel Aviv Yaffo,. Shmuel Tyszberowicz. Institut für Theoretische Informatik, ... von C Gladisch · · Zitiert von: 8 — Could We Have Chosen a Better Loop Invariant or Method Contract? Christoph Gladisch. Conference paper Accesses. 5 Citations. › chapter

Wolfgang Ahrendt
Christian Heinzemann
Vladimir Klebanov

Maria Lyssenko
Konrad Groh
Martin Herrmann

Personen
Vorname "Christoph" (43400)
Name "Gladisch" (90)

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

Christoph Gladisch und Tyszberowicz Person-Info

Shmuel (Tysh) Tyszberowicz, Publications list

Deductive Software Verification – The KeY Book: From Theory to...

KeY Project: Integrated Deductive Software Design

TAP: Tests & Proofs 2010, Malaga

Generating Regression Unit Tests Using a Combination of ...

2017 Publications | HyVar

A Proof Assistant for Relational Specifications of Java Programs

RunVar: Evolving Distributed Software Systems at Runtime by ...

Alle Infos zum Namen "Christoph Gladisch"