Login / Signup
G. Rauch
Publication Activity (10 Years)
Years Active: 1976-1976
Publications (10 Years): 0
</>
Publications
</>
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)