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