Zhenbang Chen
Publications
Teaching
Students
Projects
Talks
Services
Zhenbang Chen
Professor of Computer Science, NUDT
Follow
Changsha, China
Email
Github
Google Scholar
ORCID
DBLP
Symbolic verification of regular properties
Share on
Twitter
Facebook
LinkedIn
Previous
Next
