(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
استشهاد بنمط شيكاغوVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
MLA استشهادVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.