Lihan Xie
Identifiers
No identifiers captured yet.
Papers (1)
- QCP: A Practical Separation Logic-based C Program Verification Tool cs.PL · 2025 · author #8
Mentions
No mention provenance yet.
Frequent Coauthors
- Chengxi Yang 1 shared papers
- Hongyi Zhong 1 shared papers
- Juanru Li 1 shared papers
- Kan Liu 1 shared papers
- Naijun Zhan 1 shared papers
- Qinxiang Cao 1 shared papers
- Shushu Wu 1 shared papers
- Tianchuan Lin 1 shared papers
- Xiaoyang Lu 1 shared papers
- Xiwei Wu 1 shared papers
- Yueyang Feng 1 shared papers
- Zhenjiang Hu 1 shared papers
- Zhiyi Wang 1 shared papers
- Zihan Zhang 1 shared papers