Projet ANR SOAPDC :
Programme du septième rencontre
CMI, salle 102, le 25/01/07
Lieu : CMI, salle 102, le 25/01/07 à 12h45.
Programme :
- Flots de données et ordres partiels pour la vérification, par
Peter Niebert.
Luigi Santocanale Dernière mise à jour : Tue Jan 30 10:11:42 CET 2007