ABETS

swMATH31985MaRDI QIDQ43696FDOQ43696

Author name not available (Why is that?)

Described by source

• Assertion-based analysis via slicing withABETS(system description)

Cited In (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