MLA

Ahrendt, and Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2019.

APA

Ahrendt, A., & Tapia Tarifa, S. Lizeth. (2019). Integrated Formal Methods. Springer International Publishing.

Chicago

Ahrendt, and Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. : Springer International Publishing, 2019.