K. Okroy

According to our database, K. Okroy authored at least 2 papers between 1976 and 1977.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1977

Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen.

K. Okroy, Manfred Kersken

Proceedings of the Fachtagung Prozeßrechner 1977, 1977

1976

Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor.

Wolfgang D. Ehrenberger, G. Rauch, K. Okroy

Proceedings of the 2nd International Conference on Software Engineering, 1976