Registered user since Tue 22 Jan 2019

Name: Zhilin Wu

Affiliation: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

Contributions

POPL 2018 What's Decidable About String Constraints with ReplaceAll Function?
Show activities from other conferences

POPL 2018-profile
View general profile