Gupta, A., & Malik, S. (2020). Computer Aided Verification. Springer Berlin Heidelberg.
استشهاد بنمط شيكاغوGupta, Aarti, و Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.
MLA استشهادGupta, Aarti, و Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.