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
Datum der Publikation: 2018
Ausgabe: 20
Nummer: 6
Seiten: 739-769
Art: Artikel
ISSN: 1433-2787, 1433-2779
Datum der Publikation: 2018
Ausgabe: 20
Nummer: 6
Seiten: 739-769
Art: Artikel