SILF

swMATH32262MaRDI QIDQ43973FDOQ43973

Author name not available (Why is that?)

Official website: http://fsl.cs.illinois.edu/index.php/SILF_Policy_Framework

Cited In (3)

• A rewriting logic semantics approach to modular program analysis
• Rascal
• LCLint

This page was built for software: SILF