Master Informatique 1
	Conceptions Formelles
	Année 2009/2010
      
      
    
      
	Module Modélisation et Vérification
      
      
	
	-  Le cours.
          
	  
-  Les travaux dirigés
          
	  
-  Le projet (contrôle continu). Date limite de remise : mercredi 3 mars à 12 heures par mail.
	  
	  
-  L'examen.
	  
	
    
	
	Module Raffinement et preuves
      
      
	      
      
    
      
	Autres années