--- layout: fc_discuss_archives title: Message 90 from Frama-C-discuss on November 2009 ---
Hello Jens, 2009/11/27 Jens Gerlach <jens.gerlach at first.fraunhofer.de>: > In the context of the DEVICE-SOFT project > (http://www.first.fraunhofer.de/device_soft_en) > my institute (Fraunhofer FIRST) and CEA-LIST will produce more introductory > examples, e.g., > we plan to publish a document "ACSL by Example" in January 2010. That's quite interesting. I'm looking forward to reading it. Regards, david