direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Eine formale Semantik für SSA-Zwischensprachen in Isabelle/HOL
Zitatschlüssel olaf04
Autor Jan Olaf Blech
Jahr 2004
Monat Jan
Institution Universität Karlsruhe, Fakultät für Informatik
Typ der Publikation Diploma Thesis
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe