Ahrendt, W., & Tarifa, S. L. T. (2020). Integrated Formal Methods. Springer International Publishing.
استشهاد بنمط شيكاغوAhrendt, Wolfgang, و Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
MLA استشهادAhrendt, Wolfgang, و Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.