Publication

[WuCWXZ23] A Decision Procedure for String Constraints with String-Integer Conversion and Flat Regular Constraints Wu, H.; Chen, Y.-F.; Wu, Z.; Xia, B. and Zhan, N. In Acta Informatica, 2023.
Downloads: bib