@inproceedings{SeYaYi2003,
   author = {Sunae Seo and Hongseok Yang and Kwangkeun Yi},
   title = {Automatic Construction of Hoare Proofs from Abstract Interpretation Results},
   booktitle = {Proceedings of the 1st Asian Symposium on Programming Languages and Systems},
   series = {Lecture Notes in Computer Science},
   pages = {230--245},
   publisher = {Springer-Verlag},
   year = {2003},
   category = {other-program-analyses conference},
   format = {pdf},
}