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

[Frama-c-discuss] Looking for paper describing Frama-C internals



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