Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dani Mezher
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Not registered as user
Name:
Dani Mezher
Affiliation:
CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
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 09:11