Ahrendt, W., & Tarifa, S. L. T. (2020). Integrated Formal Methods. Springer International Publishing.
Chicago-stil citatAhrendt, Wolfgang, och Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
MLA-referensAhrendt, Wolfgang, och Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.