--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Publications on Frama-C



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