(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.
استشهاد بنمط شيكاغوFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
MLA استشهادFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.