PAPERS

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.