Cimatti, A., & Titolo, L. (2023). Formal Methods for Industrial Critical Systems. Springer Nature.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Cimatti, Alessandro, و Laura Titolo. Formal Methods for Industrial Critical Systems. Springer Nature, 2023.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Cimatti, Alessandro, و Laura Titolo. Formal Methods for Industrial Critical Systems. Springer Nature, 2023.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.