Universität Karlsruhe
Eine formale Semantik fĂĽr SSA-Zwischensprachen in Isabelle/HOL
@mastersthesis{,
  author={Jan Olaf Blech},
  title=\{ Eine formale Semantik fĂĽr SSA-Zwischensprachen in Isabelle/HOL },
  year=\{2004},
  month=\{März},
  organization=\{Universität Karlsruhe, Fakultät für Informatik},
  url=\{http://www.info.uni-karlsruhe.de/papers/2004-DA-Blech.pdf},
}

Login
Links