A group is a collection of several projects.
If you organize your projects under a group, it works like a folder.
You can manage your group member’s permissions and access to each project in the group.
Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
If you organize your projects under a group, it works like a folder.
You can manage your group member’s permissions and access to each project in the group.
There are no projects shared with this group yet
There are no archived projects yet