Slicing

MaRDI QIDQ41256swMATHFDO

Authors Daniel Wasserrab

Publication date 16 September 2008

Official website https://www.isa-afp.org/entries/Slicing.html

Cited in

(1)

• Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL

This page was built for software: Slicing