Merlin

swMATH23076MaRDI QIDQ34860FDOQ34860

Author name not available (Why is that?)

Cited In (5)

• Context-oriented web application protection model
• Automated Inference of Library Specifications for Source-Sink Property Verification
• Predicting program properties from ``big code
• Symbolic String Transformations with Regular Lookahead and Rollback
• Program synthesis for interactive-security systems

This page was built for software: Merlin