JST

swMATH19494MaRDI QIDQ31321FDOQ31321

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=2486925

Cited In (9)

• A decision procedure for regular membership and length constraints over unbounded strings
• Stranger
• Kaluza
• PASS
• S3
• Z3-str
• SymJS
• Z3str2: an efficient solver for strings, regular expressions, and length constraints
• An efficient SMT solver for string constraints

This page was built for software: JST