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.

[ bib ] Back