Systematic software verification
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1983 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230018519 |
| Erscheinungsvermerk | OYEZ-Kurs (Internat.Business Communications Limited) 'Application of Computer', Zuerich, CH, May 26-27, 1983 |