Universität Karlsruhe
Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler
@conference{,
  author={Sabine Glesner and Jan Olaf Blech},
  title=\{Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler},
  booktitle=\{Proceedings der Tagung Software Engineering 2005},
  year=\{2005},
  month=\{March},
  publisher=\{Lecture Notes in Informatics (LNI)},
  address=\{Essen, Germany},
}

Login
Links