Doctoral Dissertation Award
United States – 1980
CITATION

Generating Correct Programs from Logic Specifications.