%0 Journal Article %1 journals/acta/AmatoMMS18 %A Amato, Gianluca %A Maio, Simone Di Nardo Di %A Meo, Maria Chiara %A Scozzari, Francesca %D 2018 %J Acta Informatica %K dblp %N 6 %P 521-545 %T Descending chains and narrowing on template abstract domains. %U http://dblp.uni-trier.de/db/journals/acta/acta55.html#AmatoMMS18 %V 55

@article{journals/acta/AmatoMMS18, added-at = {2024-05-07T00:00:00.000+0200}, author = {Amato, Gianluca and Maio, Simone Di Nardo Di and Meo, Maria Chiara and Scozzari, Francesca}, biburl = {https://www.bibsonomy.org/bibtex/2f7c58757b8f1a958a64534618b0aa5ce/dblp}, ee = {https://doi.org/10.1007/s00236-016-0291-0}, interhash = {e897b55bdc1e3b7517883cc76241d136}, intrahash = {f7c58757b8f1a958a64534618b0aa5ce}, journal = {Acta Informatica}, keywords = {dblp}, number = 6, pages = {521-545}, timestamp = {2024-05-13T07:20:23.000+0200}, title = {Descending chains and narrowing on template abstract domains.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta55.html#AmatoMMS18}, volume = 55, year = 2018 }