New paper on the PPL

Wed, 06/26/2002 - 20:23

The paper Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library has been accepted for presentation at SAS'02 (the 9th International Static Analysis Symposium) and inclusion in its proceedings.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.