Jeffrey Gishen

placeholder image for 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