| Title | |
| Publication Type | Conference Paper |
| Authors | Bagnara R, Rodríguez-Carbonell E, Zaffanella E |
| Editor | Hankin C, Siveroni I |
File attachments:
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
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.
You may be surprised to discover just how much your suggestions matter to us.