Agostino Cortesi, Halder, Raju. Dependence Condition Graph for Semantics-based Abstract Program Slicing. In Proceedings of the 10th International Workshop on Language Descriptions Tools and Applications (LDTA'10) - satellite event of European Joint Conferences on Theory and Practice of Software (ETAPS'10). ACM Press, Paphos, Cyprus, 27-28 March 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.