Cited in
(12)- MiniZinc with strings
- Design and implementation of bounded-length sequence variables
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- Oscar.cbls
- PASS
- Z3-str
- iZplus
- StrSolve
- Fable
- ExpoSE
- A survey on server-side approaches to securing web applications
- Dashed strings for string constraint solving
This page was built for software: WAPTEC
