Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the 2007 Conference on Specification and Verification of Component-based Systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Proceedings of the 2007 Conference on Specification and Verification of Component-based Systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. Association for Computing Machinery (ACM).