2015

Conférence Nationale avec comité de lecture

• [DER15] C. Dubois, S. Elloumi, B. Robillard, C. Vincent. "Graphes et couplages en Coq", Journées Francophones des langages applicatifs (JFLA), January 2015, pp.235-248, Val d'Ajol, France,