Graphes et couplages en Coq

Catherine Dubois; Sourour Elloumi; Benoit Robillard; Clément Vincent

Graphes et couplages en Coq

Catherine Dubois
, Sourour Elloumi
, Benoit Robillard
, Clément Vincent

ENSIIE

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Titre traduit de la contribution	Graphs and linkages in Coq
langue originale	Français
état	Publié - 1 janv. 2015
Modification externe	Oui
Evénement	Vingt-sixiemes Journees Francophones des Langages Applicatifs, JFLA 2015 - 26th French-Speaking Conference on Applicative Languages, JFLA 2015 - Val d'Ajol, France Durée: 7 janv. 2015 → 10 janv. 2015

Une conférence

Une conférence	Vingt-sixiemes Journees Francophones des Langages Applicatifs, JFLA 2015 - 26th French-Speaking Conference on Applicative Languages, JFLA 2015
Pays/Territoire	France
La ville	Val d'Ajol
période	7/01/15 → 10/01/15

Contient cette citation

@conference{f7e7d9e81adf4adf86418a0ec4e5460c,

title = "Graphes et couplages en Coq",

author = "Catherine Dubois and Sourour Elloumi and Benoit Robillard and Cl{\'e}ment Vincent",

year = "2015",

month = jan,

day = "1",

language = "Fran{\c c}ais",

note = "Vingt-sixiemes Journees Francophones des Langages Applicatifs, JFLA 2015 - 26th French-Speaking Conference on Applicative Languages, JFLA 2015 ; Conference date: 07-01-2015 Through 10-01-2015",

}

Graphes et couplages en Coq. / Dubois, Catherine; Elloumi, Sourour; Robillard, Benoit et al.
2015. Papier présenté � Vingt-sixiemes Journees Francophones des Langages Applicatifs, JFLA 2015 - 26th French-Speaking Conference on Applicative Languages, JFLA 2015, Val d'Ajol, France.

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

TY - CONF

T1 - Graphes et couplages en Coq

AU - Dubois, Catherine

AU - Elloumi, Sourour

AU - Robillard, Benoit

AU - Vincent, Clément

PY - 2015/1/1

Y1 - 2015/1/1

M3 - Papier

AN - SCOPUS:85092430737

T2 - Vingt-sixiemes Journees Francophones des Langages Applicatifs, JFLA 2015 - 26th French-Speaking Conference on Applicative Languages, JFLA 2015

Y2 - 7 January 2015 through 10 January 2015

ER -