JST

swMATH19494MaRDI QIDQ31321FDOQ31321

Author name not available (Why is that?)

Cited In (3)

• A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
• 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