Software verification and testing techniques
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1987 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230024995 |
| Erscheinungsvermerk | Computer Systems for Safety and Control Course, London, GB, September 23-24, 1987 |