A HOL Theorem Proving Interface for C.

Yiyuan Cao, Jiayi Zhuang, Jinkai Fan, Di Wang, Zhenjiang Hu

Browse the full TASE paper archive.