Systematic software verification
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1983 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 170017264 |
| Seiten | 121-25 |
| 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. - |