Nantes Université

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