1 search result for "author:"R. Bagnara, P. M. Hill, E. Zaffanella, A. Bagnara et. al.""

Showing 1 - 1
  1. conf-ppl

    No documentation

    Virtual package relying on the Parma Polyhedra Library (PPL) system installation
    R. Bagnara, P. M. Hill, E. Zaffanella, A. Bagnara et. al.
    1
    GPL-1.0-or-later
    Used by 1 other packages
    Added to opam-repository