131 shaares
1 private link
1 private link
2 results
tagged
cours
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