Selected Scientific Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is software verification and Author is Enric Rodríguez-Carbonell  [Clear All Filters]
Conference Paper
Bagnara R, Rodríguez-Carbonell E, Zaffanella E.  2005.  Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Static Analysis: Proceedings of the 12th International Symposium. 3672:19–34.PDF icon BagnaraR-CZ05.pdf (184.1 KB)