Interaktive Verifikation maschinennaher nebenlaeufiger Programme mit dem CIL- Verfahren
| Zugehörige Institution(en) am KIT | Institut für Telematik (TM) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1989 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 197889 |
| Erscheinungsvermerk | In: Werkzeuge und Methoden zur formalen Spezifikation und Verifikation von Software. Bonn: Zentralstelle f. Sicherheit in d. Informationstech. (ZSI) 1989. |