Nantes Université

R

RefacCert

Project information

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

353 Commits
3 Branches
3 Tags
3 Releases

Created on

November 20, 2015

Loading