Sunae Seo, Hongseok Yang, Kwangkeun Yi. Automatic Construction of Hoare Proofs from Abstract Interpretation Results. In Atsushi Ohori, editor, Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings. Volume 2895 of Lecture Notes in Computer Science, pages 230-245, Springer, 2003. [doi]
Abstract is missing.