Liqian Chen profile picture

Liqian Chen

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications