Pruefmittel fuer die rechnergestuetzte Software-Entwicklung
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 1978 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 270011826 Reportnummer: KFK-2507 |
| Erscheinungsvermerk | KfK-2507 (Januar 78) |