WAPTEC

swMATH21854MaRDI QIDQ33654FDOQ33654

Author name not available (Why is that?)

Cited In (5)

• MiniZinc with strings
• Design and implementation of bounded-length sequence variables
• Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
• A survey on server-side approaches to securing web applications
• Dashed strings for string constraint solving

This page was built for software: WAPTEC