ATAME

MaRDI QIDQ37533swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-96418-8_1

Cited in

(12)

• Inferring safe Maude programs with ÁTAME
• iJulienne
• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Orbiter
• IntegerSequences
• Polytop
• libtropicon
• 3BA
• Francy
• Axl
• ABETS
• Mathematical software -- ICMS 2018. 6th international conference, South Bend, IN, USA, July 24--27, 2018. Proceedings

This page was built for software: ATAME