Logo

bugs

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
From: wegener?
Assigned:
Priority: 4

Program: Charlie

Version:
Description:
Please add an analyzer for computing sub/sur p/t invariants.

Comments


<< 00006 | BugList | 00008 >>

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy