r/C_Programming•13 yr. agomttdMaking oughts from ises - Frama-C news and ideasblog.frama-c.com/index.php?post/2013/04/13/Ma...blog.frama-c.comPosted Apr 14, 2013, 1:09 AM UTC91Share