| |
| 1977 | ||
|---|---|---|
| 2 | K. Okroy, Manfred Kersken: Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen. Fachtagung Prozessrechner 1977: 312-323 | |
| 1976 | ||
| 1 | Wolfgang D. Ehrenberger, G. Rauch, K. Okroy: Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor. ICSE 1976: 611-616 | |
| 1 | Wolfgang D. Ehrenberger | [1] |
| 2 | Manfred Kersken | [2] |
| 3 | G. Rauch | [1] |