Generation of basic semi-algebraic invariants using convex polyhedra

Cached

Download Links

by Roberto Bagnara , Enric Rodríguez-carbonell , Enea Zaffanella
Venue:Static Analysis: Proceedings of the 12th International Symposium, volume 3672 of Lecture Notes in Computer Science
Citations:9 - 0 self