Skip to content

Wenjian Chai

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2024–2024

Best venue rank

National

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2024TASESlicing Assisted Program Verification: An Empirical Study.Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang