ABETS
From MaRDI portal
Software:43696
No author found.
Related Items (2)
Symbolic Analysis of Maude Theories with Narval ⋮ Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
This page was built for software: ABETS