@inproceedings{08b9ea14872646f184f0f74683951da4,
title = "Foncteurs imp{\'e}ratifs et compos{\'e}s: la notion de projets dans Frama-C",
author = "Julien Signoles",
year = "2009",
month = jan,
day = "1",
language = "Fran{\c c}ais",
series = "Actes de la conference JFLA 2009 - Vingtiemes Journees Francophones des Langages Applicatifs",
publisher = "INRIA",
pages = "37--53",
booktitle = "Actes de la conference JFLA 2009 - Vingtiemes Journees Francophones des Langages Applicatifs",
note = "2009 Vingtiemes Journees Francophones des Langages Applicatifs, JFLA 2009 - 20th French-Speaking Conference on Applicative Languages, JFLA 2009 ; Conference date: 31-01-2009 Through 03-02-2009",
}