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