Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari. Descending chains and narrowing on template abstract domains. Acta Informatica, 55(6):521-545, 2018. [doi]
@article{AmatoMMS18,
title = {Descending chains and narrowing on template abstract domains},
author = {Gianluca Amato and Simone Di Nardo Di Maio and Maria Chiara Meo and Francesca Scozzari},
year = {2018},
doi = {10.1007/s00236-016-0291-0},
url = {https://doi.org/10.1007/s00236-016-0291-0},
researchr = {https://researchr.org/publication/AmatoMMS18},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {55},
number = {6},
pages = {521-545},
}