Generation of basic semi-algebraic invariants using convex polyhedra (0)

by R Bagnara, E Rodríguez-Carbonell, E Zaffanella
Venue:Static Analysis: Proceedings of the 12th [CC77] International Symposium, volume 3672 of LNCS