Slicing from formal semantics: Chisel—a tool for generic program slicing
- Asăvoae, I.M.
- Asăvoae, M.
- Riesco, A.
ISSN: 1433-2787, 1433-2779
Year of publication: 2018
Volume: 20
Issue: 6
Pages: 739-769
Type: Article
ISSN: 1433-2787, 1433-2779
Year of publication: 2018
Volume: 20
Issue: 6
Pages: 739-769
Type: Article