Emanuel Kitzelmann. A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs. PhD thesis, Universität Bamberg, 2010.
No references recorded for this publication.
No citations of this publication recorded.