O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)O'Leary, J., R. Kaivola, و T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.