Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Research Activities of Claude Marché
Research Activities
Some links to my research activities :
An abstract of my research
activities until now (in french, sorry about that).
Home page of CiME, the rewrite
toolbox of we make here in DEMONS team.
Home page of the Krakatoa tool,
to perform verification of Java programs with respect to
their JML
specification.