INRIA - Équipe CROAP

Équipes de Recherche • Rechercher par domaine • par responsable • par équipe • par centre
Domaine : Génie logiciel et calcul symbolique Thème : Sémantique et programmation Centre(s) : INRIA Sophia Antipolis - Méditerranée CROAP Conception et réalisation d'outils d'aide à la programmation Yves Bertot Type : Équipe-projet CROAP a été arrêté le 31 décembre 1998 Présentation de l’équipe Le projet CROAP s’est arrêté au 31 décembre 1998 Axes de recherche	Publications Rapport d’activité Rapports de recherche Thèses En savoir plus Site web Page personnelle : Yves Bertot Infos pratiques Coordonnées Yves Bertot - Yves.Bertot inria.fr - +33 4 92 38 77 39 >> Secrétariat : +33 4 92 38 76 00

Équipes de Recherche