Bagnara–Hill–Zaffanella[2008]: The Parma Polyhedra Library

Class:
Publication
Identifier: