Entwicklung zuverlässiger Informationssysteme
| author/s: | Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis |
| type: | Inbook |
| editor: | M. Broy, S. Jähnichen |
| booktitle: | Korrekte Software durch Formale Methoden |
| pages: | 50-56 |
| month: | March |
| year: | 1993 |
| note: | BMFT-Verbundprojekt KORSO, Broschüre anlässlich des Industrietages auf dem 4. KORSO-Workshop |
E-Mail senden