An open framework for foundational proof-carrying code (2007)

by X Feng, Z Ni, Z Shao, Y Guo
Venue:In TLDI