Universität Karlsruhe
Eine formale Semantik fĂĽr SSA-Zwischensprachen in Isabelle/HOL

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