Shaoying Liu, T. M. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Springer.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Shaoying Liu, Tom Maibaum. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Berlín, Alemania: Springer.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Shaoying Liu, Tom Maibaum. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Springer.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.