Dillig, I. (2017). Verification, Model Checking, and Abstract Interpretation. Springer.
استشهاد بنمط شيكاغوDillig, Isil. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.
MLA استشهادDillig, Isil. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.