@inproceedings{SeYaYi03,
  title = "Automatic Construction of Hoare Proofs from Abstract Interpretation Results",
  author = "Sunae Seo and Hongseok Yang and Kwangkeun Yi",
  year = "2003",
  address = "Beijing",
  booktitle = "Proceedings of the 1st Asian Symposium on Programming Languages and Systems",
  isbn = "3-540-20536-5",
  month = "November",
  pages = "230--245",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/ai2HoareProofs.ps",
  volume = "2895",
}