Martin P. Ward, Hussein Zedan, T. Hardcastle. Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. In 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings. pages 178-187, IEEE Computer Society, 2005. [doi]
Abstract is missing.