Diseño y análisis formal de sistemas de software
FADOSS
French Institute for Research in Computer Science and Automation
Le Chesnay, FranciaPublications in collaboration with researchers from French Institute for Research in Computer Science and Automation (1)
2018
-
Slicing from formal semantics: Chisel—a tool for generic program slicing
International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 6, pp. 739-769