Higher Order Function Synthesis Through Proof Planning

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages307-310
Number of pages4
Publication statusPublished - 2001
EventProceedings of the 16th Annual International Conference on Automated Software Engineering - San Diego, United States
Duration: 1 Jan 2001 → …

Conference

ConferenceProceedings of the 16th Annual International Conference on Automated Software Engineering
Abbreviated titleASE 2001
CountryUnited States
CitySan Diego
Period1/01/01 → …

Cite this