SymPLFIED

swMATH20832MaRDI QIDQ32646FDOQ32646

Author name not available (Why is that?)

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