An Update on Deductive Synthesis and Repair in the Leon Tool

Citation

Manos Koukoutos, Etienne Kneuss, and Viktor Kuncak. An update on deductive synthesis and repair in the leon tool. In 5th Workshop on Synthesis, 2016.

BibTex Entry

@inproceedings{KoukoutosETAL16UpdateDeductiveSynthesisRepairLeonTool,
  author = {Manos Koukoutos and Etienne Kneuss and Viktor Kuncak},
  title = {An Update on Deductive Synthesis and Repair in the Leon Tool},
  booktitle = {5th Workshop on Synthesis},
  year = 2016
}