--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on March 2015 ---
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