Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.