swMATH25797MaRDI QIDQ37533FDOQ37533
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-96418-8_1
Cited In (12)
- 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
- iJulienne
- Orbiter
- 3BA
- IntegerSequences
- Axl
- libtropicon
- Francy
- Polytop
- ABETS
This page was built for software: ATAME
