Division of Informatics
Forrest Hill & 80 South Bridge
NOT PUBLICALLY AVAILABLE
Discussion Paper #176
Title:
A Deductive Synthesis Editor for Producing Correct Functional Programs
Authors:
Whittle,JN
Date:
May
1996
Presented:
Keywords:
Abstract: