Drechsler, R. (2020). Formal System Verification. 1st ed. 2018. Springer International Publishing.
استشهاد بنمط شيكاغوDrechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.
MLA استشهادDrechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.