Nantes Université

Skip to content

GitLab

Explorer

Connexion
S'inscrire

R

RefacCert

Informations sur le projet

RefacCert is a project to build a "proven correct" refactoring tool for C source code.

353 validations
3 branches
3 étiquettes
3 Releases

Date de création

20 novembre 2015

Chargement en cours