Automatic Construction of Hoare Proofs from Abstract Interpretation Results
Sunae Seo‚ Hongseok Yang and Kwangkeun Yi
Address
Beijing
Book Title
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
Volume
2895
Year
2003