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: 240017264 |
| Erscheinungsvermerk | Computer Systems for Safety and Control: Transcript from a Two-Day Course', London, GB, September 22-23, 1982 London : Oyez Scientific and Technical Services Ltd, 1983. - |