Pages that link to "Item:Q960858"

The following pages link to A trajectory-based strict semantics for program slicing (Q960858):

Displaying 2 items.

• A unifying theory of control dependence and its application to arbitrary program structures (Q650921) (← links)
• Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)