INRIA - Team CROAP

Research teams • Search by area • by leader • by team • by centre
Domain : Software engineering and symbolic computing Theme : Semantics and Programming Centre(s) : INRIA Sophia Antipolis - Méditerranée CROAP Design and Implementation of Programming Tools Yves Bertot Type : Project-Team CROAP was dissolved on 31 December 1998 Team presentation The Croap project was dissolved on December 31, 1998. Research themes	Publications Scientific activity report Research reports Theses More Website Homepage : Yves Bertot General information Coordinates Yves Bertot - Yves.Bertot inria.fr - +33 4 92 38 77 39 >> Secretary : +33 4 92 38 76 00

Research teams