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