Generation of basic semialgebraic invariants using convex polyhedra (2005)

by R Bagnara, E Rodŕıguez-Carbonell, E Zaffanella
Venue:Static Analysis: Proceedings of the 12th International Symposium