Towards a Formal Semantics-Based Technique for Interprocedural Slicing | Publicación