Formal specification of software
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1988 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230026793 |
| Erscheinungsvermerk | IFIP WG 10.4 Reliable Computing and Fault Tolerance Summer Meeting, Gotemba, J, July 1-4, 1988 |