--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on January 2010 ---
Dear Frama-C users, we are pleased to announce the release of a ACSL tutorial "ACSL by Example". The document is available through the web page of the DEVICE-SOFT project http://www.first.fraunhofer.de/device_soft_en We will provide updates to this document over the life of the project. Best regards Jens Gerlach -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100127/245fae19/attachment.htm