KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification of optimizing compilers

Glesner, Sabine



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Jahr 2005
Sprache Englisch
Identifikator KITopen-ID: 1000003434
Verlag Universität Karlsruhe, Karlsruhe
Abschlussart Habilitation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page