Skip to main content
Search form
Search
Webinars
Blog
Contact
Support
eclairit.com
Toggle navigation
Software Analysis & Verification
ECLAIR
PPL
Services
Consulting
Education
Verification Services
Technical support
Resources
Webinars
Documentation
Scientific publications
Company
About
News
Customers
Partners
Blog
Contact us
Careers
Academy
Selected Scientific Publications
Export 1 results:
BibTex
Author
Title
Type
[
Year
]
Filters:
Author
is
Igor Siveroni
[Clear All Filters]
2005
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.
Google Scholar
BibTex
BagnaraR-CZ05.pdf
(184.1 KB)