International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA), McMillan, K. L., & Rival, X. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings. Springer.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA), Kenneth L. McMillan, و Xavier Rival. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings. Heidelberg, Alemania: Springer.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA), et al. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings. Springer.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.