Bigre, Bordeaux
BIGRE 74, octobre 1991. Analyse statique en programmation équationnelle, fonctionnelle et logique. Actes JTASPEFL'91. Journées de travail sur l'analyse statique en programmation équat.fonct.et logique. Bordeaux, 9-11 octobre 1991. - Université Bordeaux 1, 1991.
Bigre, Bordeaux
BIGRE 81-82. Journées de travail WSA'92 (Workshop on Static Analysis). Analyse statique. Bordeaux, 23-25 septembre 1992. Conseil Régional d'Aquitaine, Greco Informatique, Univ. Bordeaux I, LaBRI. - Université Bordeaux 1, 1992.
Bigre, Bordeaux
BIGRE + GLOBULE. Actes des journées ADA, AFCET-informatique/ENST. Paris, 17 et 18 juin 1986. - Assoc.Française de Cybernétique Economique et Technique, 1986.