D. Dams, and K. Namjoshi. Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, VMCAI 2005, Proceedings, page 216-232. Springer, (2005)
I. Neamtiu, J. Foster, and M. Hicks. International Conference on Software Engineering (ICSE '05): Proceedings of the 2005 International Workshop on Mining Software Repositories, MSR 2005, page 1-5. ACM Press, (2005)
T. Latvala, A. Biere, K. Heljanko, and T. Junttila. Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, VMCAI 2005, Proceedings, page 380-395. Springer, (2005)
A. Salcianu, and M. Rinard. Verification, Model Checking, andVerification, Model Checking, and
Abstract Interpretation, 6th International Conference, VMCAI 2005,
Proceedings Abstract Interpretation, 6th International Conference,
VMCAI 2005, Proceedings, volume 3385 of Lecture Notes in Computer Science, page 199-215. Springer, (2005)
F. Logozzo, and A. Cortesi. Electronic Notes in Theoretical Computer Science (Proc. of the First Int. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005)), (2005)