@inproceedings{bagrodzafSAS05,
author = "R. Bagnara and E. Rodr{\'\i}guez-Carbonell and E. Zaffanella",
title = "Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra",
booktitle = "12th International Symposium on Static Analysis (SAS'05)",
editors = "C. Hankin and I. Siveroni",
pages = "19--34",
month = sep,
year = "2005",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "3672" }