Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize
[DDT10] Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize
Conférence Nationale avec comité de lecture : Journées Francophones des Langages Applicatifs (JFLA'10), January 2010, pp.55-81, Series Studia informatica universalis , La Ciotat , (note)
motcle:
Résumé:
resume
Equipe:
cpr
| @inproceedings { | |||
| DDT10, | |||
| title | = | "{Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize}", | |
| author | = | " D. Delahaye and C. Dubois and P. Tollitte ", | |
| booktitle | = | "{ Journées Francophones des Langages Applicatifs (JFLA'10)}", | |
| year | = | 2010, | |
| month | = | "January", | |
| series | = | "Studia informatica universalis ", | |
| pages | = | "55-81", | |
| address | = | "La Ciotat , 0", | |
| note | = | "{note}", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |