@misc{indiciaecf23a414d2de,
  title = {C*: Unifying Programming and Verification in C},
  author = {Yiyuan Cao and Jiayi Zhuang and Houjin Chen and Jinkai Fan and Wenbo Xu and Zhiyi Wang and Di Wang and Qinxiang Cao and Yingfei Xiong and Haiyan Zhao and Zhenjiang Hu},
  year = {2025},
  url = {https://arxiv.org/abs/2504.02246},
  note = {Source identifier: 2504.02246}
}