Pages that link to "Item:Q1941855"

The following pages link to Assertion-based slicing and slice graphs (Q1941855):

Displaying 2 items.

• Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
• Abstract Program Slicing (Q5278199) (← links)