G. Rauch

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Coauthor Index

1 Wolfgang D. Ehrenberger [1]

2 K. Okroy [1]