Retour /Back Construction Mathématique de Programmes
Mathematics of Program Construction
01/09/2008 - 04/09/2008
Liste des participants / List of participants
Organisateur /
Organizer:
Christine PAULIN-MOHRING LRI UMR 8623 (CNRS-Université Par
LRI Bat 490 Université Paris Sud
91405 Orsay cedex, FRANCE