Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tristan Crolard
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Not registered as user
Name:
Tristan Crolard
Affiliation:
CEDRIC - CNAM - Paris, France
Contributions
2017
FTfJP
Author of A Coq-based synthesis of Scala programs which are correct-by-construction within the FTfJP 2017-track
Share
x
Sun 22 Dec 03:59