SymPLFIED

swMATH20832MaRDI QIDQ32646FDOQ32646

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: SymPLFIED