Feb 10th, 2014 Posted by Steve D. Lazaro In categories frama-c, language-based security, security, static analysis, teaching, ucl Comments