Title: | Program Synthesis: Challenges and Opportunities |
---|---|
Links: | Homepage Document as PDF |
Authors: | Cristina David |
Daniel Kroening EMail | |
Remarks: | |
ISSN: | 1364-503X |
Topics: |
Bibtex:
@article{dk2017, AUTHOR = { David, Cristina and Kroening, Daniel }, TITLE = { Program Synthesis: Challenges and Opportunities }, YEAR = { 2017 }, JOURNAL = { Philosophical Transactions A }, VOLUME = { 375 }, ISSUE = { 2104 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.