KIT | KIT-Bibliothek | Impressum

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 Karlsruhe
Abschlussart Habilitation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page