--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on May 2009 ---
Bonjour, Avez-vous lu le message : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2008-December/000301.html qui est mentionn? sur le Wiki de Frama-C ? Cordialement, -- | Benjamin Monate | Head of Software Safety Lab. CEA-LIST/DRT/DTSI/SOL/LSL |