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