Selected Scientific Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is software verification and Author is Elisa Ricci  [Clear All Filters]
Journal Article
Bagnara R, Hill PM, Ricci E, Zaffanella E.  2005.  Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58:28–56.PDF icon BagnaraHRZ05SCP.pdf (273.43 KB)