@inproceedings{De_Angelis_2013,
    doi = {10.1145/2426890.2426899},
    url = {https://doi.org/10.1145%2F2426890.2426899},
    year = {2013},
    month = {jan},
    publisher = {{ACM}},
    author = {Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
    title = {Verifying programs via iterated specialization},
    booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 workshop on Partial evaluation and program manipulation}
}

@inproceedings{De_Angelis_2013, doi = {10.1145/2426890.2426899}, url = {https://doi.org/10.1145%2F2426890.2426899}, year = {2013}, month = {jan}, publisher = {{ACM}}, author = {Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Verifying programs via iterated specialization}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 workshop on Partial evaluation and program manipulation} }