Diseño y análisis formal de sistemas de software
FADOSS
French Institute for Research in Computer Science and Automation
Le Chesnay, FranciaPublications en collaboration avec des chercheurs de 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