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.