Diseño y análisis formal de sistemas de software
FADOSS
French Institute for Research in Computer Science and Automation
Le Chesnay, FranciaPublikationen in Zusammenarbeit mit Forschern von 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