--- layout: fc_discuss_archives title: Message 115 from Frama-C-discuss on November 2013 ---
Hello, 2013/11/19 Qi Alfred Chen <alfchen at umich.edu>: > Do you have any suggestions/links for a starter? You'll find a list of tutorials here: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial Best regards, david