Anima
From MaRDI portal
Software:22070
No author found.
Related Items (4)
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis ⋮ Exploring conditional rewriting logic computations ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ Debugging Maude programs via runtime assertion checking and trace slicing
This page was built for software: Anima
