2017

Conférence Nationale avec comité de lecture

• [PDL17] T. Pham, C. Dubois, N. Levy. "Une ligne de produits corrects par construction", AFADL 2017, June 2017, pp.7 p, Montpellier, France,