Holger Gast - Wissenschaftliche Veröffentlichungen

(1 - 8 von 10

)

dblp: Holger Gast

dblp.uni-trier.de

List of computer science publications by Holger Gast

Publikationen der UdS: Erweitertes Literatur- und...

publikationen.sulb.uni-saarland.de

Erweitertes Literatur- und Archivalienverzeichnis zu: Holger Gast, Antonia Leugers, August H. Leugers-Scherzberg, Uwe Sandfuchs: Katholische Missionsschulen in

Holger Gast - dblpdblp.uni-trier.de › Persons

dblp.uni-trier.de

· Holger Gast: Semi-automatic Proofs about Object Graphs in Separation Logic. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012).

dblp: Holger Gast

dblp.org

List of computer science publications by Holger Gast. refinements active! zoomed in on ?? of ?? records. dismiss all constraints. view refined list in

und Archivalienverzeichnis zu: Holger Gast, Antonia Leugers ...

publikationen.sulb.uni-saarland.de

› handle

DFG-Projekt "Katholische Schriftstellerinnen" - Uni Erfurt

www.uni-erfurt.de

Phase 2. Informatiker PD Dr. Holger Gast, Universität Tübingen · Historiker PD Dr. August H. Leugers-Scherzberg, Universität Duisburg-Essen ... › ... › Forschung

High-level Proofs about Low-level Programs | Gast - TU Berlin

journal.ub.tu-berlin.de

von H Gast · · Zitiert von: 1 — High-level Proofs about Low-level Programs. Holger Gast, Julia Trieflinger. Abstract. Functional verification of low-level code requires › view

Verwandte Suchanfragen zu Holger Gast

Roland Schenzle
Thomas Müntzer
Marie-Therese Gast

Person "Gast" (9)
Vorname "Holger" (27292)
Name "Gast" (1498)

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

Wissenschaftliche Veröffentlichungen Holger Gast

dblp: Holger Gast

Publikationen der UdS: Erweitertes Literatur- und...

Holger Gast - dblpdblp.uni-trier.de › Persons

dblp: Holger Gast

und Archivalienverzeichnis zu: Holger Gast, Antonia Leugers ...

DFG-Projekt "Katholische Schriftstellerinnen" - Uni Erfurt

High-level Proofs about Low-level Programs | Gast - TU Berlin