(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
استشهاد بنمط شيكاغوAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
MLA استشهادAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.