The following pages link to Merlin (Q34860):
Displaying 5 items.
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Context-oriented web application protection model (Q1733478) (← links)
- Predicting program properties from ``big code'' (Q2819795) (← links)
- Automated Inference of Library Specifications for Source-Sink Property Verification (Q2937794) (← links)
- Symbolic String Transformations with Regular Lookahead and Rollback (Q3455084) (← links)