Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is UTVPI constraints and Author is Roberto Bagnara  [Clear All Filters]
2009
Bagnara R, Hill PM, Zaffanella E.  2009.  Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness. Formal Methods in System Design. 35:279–323.PDF icon BagnaraHZ09FMSD.pdf (437.68 KB)