Eine formale Semantik fĂĽr SSA-Zwischensprachen in Isabelle/HOL
»
Home
»
Mitarbeiter
»
Kerngebiete
»
Projekte
»
Abgeschlossen
»
Veröffentlichungen
»
Details
»
Software
»
Lehre
»
Student. Arbeiten
»
Impressum
»
Lageplan
Diplomarbeit
[1]
Jan Olaf Blech,
Eine formale Semantik fĂĽr SSA-Zwischensprachen in Isabelle/HOL
, März 2004.
[
Erzeuge bibTeX Eintrag
]
[
Herunterladen
]
Autoren
Alumni
Jan Olaf Blech
Login
Links
»
Fakultät
»
FZI PROST
»
Prof. Assmann
»
Prof. Glesner
»
Prof. Hack
»
Prof. Löwe
»
Prof. Snelting
»
Prof. Zimmermann
»
Universität