Jiangong Weng

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Jiangong Weng, Amy P. Felty
An implementation of a verification condition generator for foundational proof-carrying code. PST (2011)