--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on March 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Verification of linked list



Hello Jens,

Le 10/03/2015 15:37, Gerlach, Jens a ?crit :
> In the References section (http://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language#References)
> there is a link to the most recent version of ?ACSL by Example?.

Good to know!

Best regards,
david