@inproceedings{SeYaYi03,
  author = "Sunae Seo and Hongseok Yang and Kwangkeun Yi",
  title = "Automatic Construction of Hoare Proofs from Abstract Interpretation Results",
  booktitle = "1st Asian Symposium on Programming Languages and Systems",
  volume = "2895",
  series = "Lecture Notes in Computer Science",
  pages = "230-245",
  year = "2003",
  publisher = "Springer-Verlag"
}