Action nationale de R&D SYNTAX pilotée par l’INRIA

Réunion du 11 décembre 2002

Présentation de Malek Boualem :

http://www-sop.inria.fr/members/Didier.Parigot/SYNTAX/reunion11_12_02/Malek.pps