Pages that link to "Item:Q5200013"

The following pages link to Backward Trace Slicing for Rewriting Logic Theories (Q5200013):

Displaying 2 items.

• Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
• Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)