Jhala. Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Jhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Jhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.