Araujo, R., Bessa, I., Cordeiro, L., & Filho, J. (2017). SMT-based verification applied to non-convex optimization problems. Institute of Electrical and Electronics Engineers.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Araujo, R., I. Bessa, L. Cordeiro, و J. Filho. SMT-based Verification Applied to Non-convex Optimization Problems. Institute of Electrical and Electronics Engineers, 2017.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Araujo, R., et al. SMT-based Verification Applied to Non-convex Optimization Problems. Institute of Electrical and Electronics Engineers, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.