Cours vidéos complets sur Bash

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.

Cours de framasky pour licence pro asrall