Une page regroupant les codes LaTeX pour les afficher les principaux symboles mathematiques

Tutoriel très complet pour la prise en main de Frama-C avec en rime des explications claires sur le calcul des Weakest Preconditions. Complémentaire aux cours de Conception Formelle donne par Vincent Penelle à l'Université de Bordeaux.