Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software Coccinelle
Coccinelle - Coccinelle
Date of the last release: 01 January 2014

Person in charge : CONTEJEAN Evelyne




More information: http://www.lri.fr/~contejea/Coccinelle/coccinelle.html

Software



Research activities
  Automated deduction
  Rewriting

Members
  CONTEJEAN Evelyne

Group
  Verification of Algorithms, Languages and Systems

Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE