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]
No references recorded for this publication.
No citations of this publication recorded.