2017

Conférence Internationale avec comité de lecture

• [BCM17] Y. Bakouny, T. Crolard, D. Mezher. "A Coq-based synthesis of Scala programs which are correct-by-construction", FTfJP'17:19th Workshop on Formal Techniques for Java-like Programs Proceedings, June 2017, pp.2, Barcelona, Spain, (DOI: 10.1145/3103111.3104041)