Formale Methoden der Softwareentwicklung. FZI-Ausarb. e. Seminars im WS 89/90
| Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI) |
| Publikationstyp | Proceedingsband |
| Publikationsjahr | 1991 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 21191 |
| Erscheinungsvermerk | Karlsruhe 1991. |