--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on September 2010 ---
Hello Julien, 2010/9/20 Julien Signoles <Julien.Signoles at cea.fr>: > A quite up-to-date list of publications is available on a dedicated page of > the Frama-C wiki: > http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications Thank you, this is what I was looking for. > At this day, there are only few publications. Some additional articles are > planed but still not written: programming and writing articles are both very > time consuming: a choice has to be made... I understand more than you can imagine. ;-) Sincerely yours, david