Julien Signoles. Foncteurs impératifs et composés: la notion de projets dans Frama-C. In Alan Schmitt, editor, JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings. Volume 7.2 of Studia Informatica Universalis, pages 245-280, 2009.
Abstract is missing.