Automatic Construction of Hoare Proofs from Abstract Interpretation Results (2003)

by S Seo, H Yang, K Yi
Venue:Asian Programming Languages and Systems Symposium, volume 2895 of Lecture Notes in Computer Science