Pages that link to "Item:Q3066121"
From MaRDI portal
The following pages link to Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121):
Displayed 4 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)