list | abstracts | bib ]

On Integrating Deductive Synthesis and Verification Systems

Citation

Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, and Philippe Suter. On integrating deductive synthesis and verification systems. Technical Report EPFL-REPORT-186043, EPFL, 2013.

BibTex Entry

@TECHREPORT{KneussETAL13IntegratingDeductiveSynthesisVerificationSystems,
  author = {Etienne Kneuss and Viktor Kuncak and Ivan Kuraj and Philippe Suter},
  title = {On Integrating Deductive Synthesis and Verification Systems},
  institution = {EPFL},
  year = 2013,
  number = {EPFL-REPORT-186043}
}

list | abstracts | bib ]