data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Analyzer: please add an analyzer for computing sub/sur p/t invariants
Created:
2011-07-15 17:18
Status:
Open
Category:
Feature
Assigned:
Priority:
4
Program: Charlie
Version:
Description:
Please add an analyzer for computing sub/sur p/t invariants.
Please add an analyzer for computing sub/sur p/t invariants.