JST

MaRDI QIDQ31321swMATHFDO

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

Cited in

(9)

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

This page was built for software: JST