swMATH21854MaRDI QIDQ33654FDOQ33654
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=2046707.2046774
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
