Giters
twschiller
/
VeriWeb
Crowdsourced Program Verification
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
4
Issues:
2
Forks:
twschiller/VeriWeb Issues
Remove includeAllDependencies from Eclipse build
Updated
9 years ago
Switch license to GPL 2
Updated
9 years ago