Slicing from formal semantics: Chisel—a tool for generic program slicing

  1. Asăvoae, I.M.
  2. Asăvoae, M.
  3. Riesco, A.
Journal:
International Journal on Software Tools for Technology Transfer

ISSN: 1433-2787 1433-2779

Year of publication: 2018

Volume: 20

Issue: 6

Pages: 739-769

Type: Article

DOI: 10.1007/S10009-018-0500-Y GOOGLE SCHOLAR