ATAME

swMATH25797MaRDI QIDQ37533FDOQ37533

Author name not available (Why is that?)

Cited In (3)

• 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
• Inferring safe Maude programs with ÁTAME

This page was built for software: ATAME