list | abstracts | bib ]

On Verification by Translation to Recursive Functions

Citation

Régis William Blanc, Etienne Kneuss, Viktor Kuncak, and Philippe Suter. On verification by translation to recursive functions. Technical Report EPFL-REPORT-186233, EPFL, 2013.

BibTex Entry

@TECHREPORT{BlancETAL13OnVerificationTranslationRecursiveFunctions,
  author = {R\'egis William Blanc and Etienne Kneuss and Viktor Kuncak and Philippe Suter},
  title = {On Verification by Translation to Recursive Functions},
  institution = {EPFL},
  year = 2013,
  number = {EPFL-REPORT-186233}
}

list | abstracts | bib ]