The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming, 72(1-2):3-21, 2008. [doi]

This author has not been identified. Look up 'Roberto Bagnara' in GoogleThis author has not been identified. Look up 'Patricia M. Hill' in GoogleThis author has not been identified. Look up 'Enea Zaffanella' in Google

runs on WebDSL