KORSO: das Verbundprojekt "Korrekte Software"
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1993 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 127993 |
| Erscheinungsvermerk | In: Informatik, Wirtschaft, Gesellschaft. Hrsg.: H. Reichel. Berlin 1993. S. 266-271. (GI-Jahrestagung. 23.) |