KLOVERA

swMATH24323MaRDI QIDQ36081FDOQ36081

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-642-22110-1_49

Cited In (2)

• Symbolic execution based on language transformation
• KOOL

This page was built for software: KLOVERA