Jeffrey Gishen

Graduation Year: 
1978
Dissertation: 
A method for the formal derivation of programs and its applicability to automatic program synthesis