Ouarbya, Lahcen; Danicic, Sebastian; Daoudi, Mohammed; Harman, Mark and Fox, Chris. 2002. 'A Denotational Interprocedural Program Slicer'. In: Ninth Working Conference on Reverse Engineering, 2002 (WCRE 2002). Richmond, Virginia, United States 29 October - 1 November 2002. [Conference or Workshop Item]