Diseño y análisis formal de sistemas de software
FADOSS
French Institute for Research in Computer Science and Automation
Le Chesnay, FranciaPublicaciones en colaboración con investigadores/as 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