Diseño y análisis formal de sistemas de software
FADOSS
French Institute for Research in Computer Science and Automation
Le Chesnay, FranciaFrench Institute for Research in Computer Science and Automation-ko ikertzaileekin lankidetzan egindako argitalpenak (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