Jiangong Weng, Amy P. Felty. An implementation of a verification condition generator for foundational proof-carrying code. In Ninth Annual Conference on Privacy, Security and Trust, PST 2011, 19-21 July, 2011, Montreal, Québec, Canada. pages 238-245, IEEE, 2011. [doi]
Abstract is missing.