User Tools

  • Logged in as: anonymous (anonymous)
  • Logout

Site Tools


mantis:frama-c:publications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

mantis:frama-c:publications [2018/01/08 14:45]
virgile Link to AB's WP tutorial
mantis:frama-c:publications [2018/01/08 14:45] (current)
virgile typo
Line 89: Line 89:
   * Arnaud Dieumegard and Marc Pantel.\\ ** Vérification d’un générateur de code par génération d’annotations. **\\ Conférence en IngénieriE du Logiciel (CIEL), Juin 2012.\\ [[http://​gpl2012.irisa.fr/​sites/​default/​files/​CIEL2012-Dieumegard-paper34.pdf]]   * Arnaud Dieumegard and Marc Pantel.\\ ** Vérification d’un générateur de code par génération d’annotations. **\\ Conférence en IngénieriE du Logiciel (CIEL), Juin 2012.\\ [[http://​gpl2012.irisa.fr/​sites/​default/​files/​CIEL2012-Dieumegard-paper34.pdf]]
   ​   ​
-  * Allan Blanchard.\\ ** Introduction to C Program Proof using Frama-C and its WP Plugin. **\\WP tutorial, available at [[http://​allan-blanchard.fr/​teaching.html]].+  * Allan Blanchard.\\ ** Introduction to C Program Proof using Frama-C and its WP Plugin. **\\ WP tutorial, available at [[http://​allan-blanchard.fr/​teaching.html]].
  
  
mantis/frama-c/publications.txt · Last modified: 2018/01/08 14:45 by virgile