Proceedings of the 3rd workshop on Programming languages meets program verification. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.