Details for the publication WuCWXZ24.

Hao Wu, Yu-Fang Chen (), Zhilin Wu (), Bican Xia, Naijun Zhan (): A decision procedure for string constraints with string/integer conversion and flat regular constraints. In Acta Informatica 61(1):23-52, 2024. DOI BIB