--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on September 2009 ---
Hello all, There is now a new page on the Frama-C wiki dedicated to publications related to Frama-C : http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications Please feel free to update this page with your own knowledge: hopefully I am not aware of all Frama-C-related publications :). Best regards, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.82.98 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr