SymPLFIED

MaRDI QIDQ32646swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2553553

Cited in

(4)

• Twenty years of rewriting logic
• SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework
• 2OBJ
• K-Maude

This page was built for software: SymPLFIED