jensgerlach/validation — pull request #5 by vprevosto (2014-04-09 14:58:43+00:00)
Title: typos and minor remarks

Remarks on the Frama-C section