ATAME
From MaRDI portal
Software:37533
No author found.
Related Items (3)
Inferring safe Maude programs with ÁTAME ⋮ Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system ⋮ Mathematical software -- ICMS 2018. 6th international conference, South Bend, IN, USA, July 24--27, 2018. Proceedings
This page was built for software: ATAME
