Merlin
From MaRDI portal
Software:34860
No author found.
Related Items (5)
Symbolic String Transformations with Regular Lookahead and Rollback ⋮ Automated Inference of Library Specifications for Source-Sink Property Verification ⋮ Program synthesis for interactive-security systems ⋮ Context-oriented web application protection model ⋮ Predicting Program Properties from "Big Code"
This page was built for software: Merlin
