@article{Bagnara_2008,
    doi = {10.1016/j.scico.2007.08.001},
    url = {https://doi.org/10.1016%2Fj.scico.2007.08.001},
    year = {2008},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {72},
    number = {1-2},
    pages = {3--21},
    author = {Roberto Bagnara and Patricia M. Hill and Enea Zaffanella},
    title = {The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems},
    journal = {Science of Computer Programming}
}

@article{Bagnara_2008, doi = {10.1016/j.scico.2007.08.001}, url = {https://doi.org/10.1016%2Fj.scico.2007.08.001}, year = {2008}, month = {jun}, publisher = {Elsevier {BV}}, volume = {72}, number = {1-2}, pages = {3--21}, author = {Roberto Bagnara and Patricia M. Hill and Enea Zaffanella}, title = {The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems}, journal = {Science of Computer Programming} }