TCAS

swMATH21413MaRDI QIDQ33220FDOQ33220

Author name not available (Why is that?)

Official website: https://doi.org/10.1017/S0269888912000252

Cited In (6)

• Constraint programming for dynamic symbolic execution of JavaScript
• SAT solving for termination proofs with recursive path orders and dependency pairs
• GATeL
• OSMOSE
• BINSEC/SE
• Sharpening constraint programming approaches for bit-vector theory

This page was built for software: TCAS