@article{Giacobazzi_2000,
    doi = {10.1145/333979.333989},
    url = {https://doi.org/10.1145%2F333979.333989},
    year = {2000},
    month = {mar},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {47},
    number = {2},
    pages = {361--416},
    author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari},
    title = {Making abstract interpretations complete},
    journal = {Journal of the {ACM}}
}

@article{Giacobazzi_2000, doi = {10.1145/333979.333989}, url = {https://doi.org/10.1145%2F333979.333989}, year = {2000}, month = {mar}, publisher = {Association for Computing Machinery ({ACM})}, volume = {47}, number = {2}, pages = {361--416}, author = {Roberto Giacobazzi and Francesco Ranzato and Francesca Scozzari}, title = {Making abstract interpretations complete}, journal = {Journal of the {ACM}} }