KIT | KIT-Bibliothek | Impressum

Correctness of generic modules

Reif, Wolfgang



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 254892
Erscheinungsvermerk In: Logical foundations of computer science - Tver '92. Ed.: A. Nerode. Berlin 1992. S. 406-417. (Lecture notes in computer science. 620.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page