DMCA

The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems (2007)

Cached

Download Links

by Roberto Bagnara , Patricia M. Hill , Enea Zaffanella
Citations:106 - 5 self