WAPTEC

MaRDI QIDQ33654swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=2046707.2046774

Cited in

(12)

• Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
• Design and implementation of bounded-length sequence variables
• Dashed strings for string constraint solving
• MiniZinc with strings
• Oscar.cbls
• Z3-str
• iZplus
• StrSolve
• PASS
• Fable
• ExpoSE
• A survey on server-side approaches to securing web applications

This page was built for software: WAPTEC