Fuhs, C., Kop, C., & Nishida, N. (Feb 25, 2017). Verifying Procedural Programs via Constrained Rewriting Induction. arXiv.org.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Fuhs, Carsten, Cynthia Kop, و Naoki Nishida. "Verifying Procedural Programs via Constrained Rewriting Induction."
ArXiv.org Feb 25, 2017.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Fuhs, Carsten, et al. "Verifying Procedural Programs via Constrained Rewriting Induction."
ArXiv.org, Feb 25, 2017.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.