Skip to main navigation Skip to search Skip to main content

Program synthesis

CP Willis, DJ Paddon

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Translated title of the contributionProgram synthesis
    Original languageEnglish
    Title of host publicationSeventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Texas
    Publication statusPublished - 1994

    Handle.net

    Cite this