Participants : Janet Bertot, Yves Bertot, Yann Coscoy, Healfdene Goguen, Ranan Fraer, Gilles Kahn Le projet CROAP participe à la coopération GENIE entre l'INRIA et Dassault-Aviation en fournissant le prototype CtCoq [24]. Nous avons rendu visite à plusieurs reprises aux laboratoires de Dassault-Aviation pour s'assurer de la bonne collaboration autour de ce système.