D. Dams, и K. Namjoshi. Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, VMCAI 2005, Proceedings, стр. 216-232. 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)
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)
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)
J. Bézivin, F. Jouault, и P. Valduriez. Proceedings of the OOPSLA/GPCE: Best Practices for Model-Driven Software
Development workshop, 19th Annual ACM Conference on Object-Oriented
Programming, Systems, Languages, and Applications, , (2004)