Différences

Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.

Lien vers cette vue

presentation_framac [Le 14/01/2011 à 16:54]
DavidMentre création
presentation_framac [Le 03/02/2011 à 13:00] (Version actuelle)
migrate-to-doku modification
Ligne 1: Ligne 1:
-====== Présentation du Framework [[frama_-c|Frama-C]] ======+====== Présentation du Framework Frama-C ======
 \\ \\
 [[frama_-c|Frama-C]] (http://frama-c.com/) est un framework Libre d'analyse statique et de preuve sur du code C.\\ [[frama_-c|Frama-C]] (http://frama-c.com/) est un framework Libre d'analyse statique et de preuve sur du code C.\\
  
-Une présentation démonstration sera faite le lundi 31 janvier, à 20h, à la MCE.+Une présentation et des démonstrations seront faites le lundi 31 janvier 2011, à 20h, à la MCE (salle et vidéo-proj réservés).\\ 
 + 
 +Annonce : http://www.agendadulibre.org/showevent.php?id=5566\\ 
 + 
 +Transparents : http://www.linux-france.org/~dmentre/gulliver/presentations/expose-frama-c-2011-01-31/
 
presentation_framac.1295020457.txt.gz · Dernière modification: Le 13/02/2012 à 21:08 (modification externe)     Haut de page
Recent changes RSS feed Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Design by Chirripó