Jeffrey Gishen

Graduation Year:
1978
Dissertation:
A method for the formal derivation of programs and its applicability to automatic program synthesis
Advisor(s):
R.E. Noonan