APA ציטוט

Ahrendt, W., & Tarifa, S. L. T. (2020). Integrated Formal Methods. Springer International Publishing.

Trích dẫn kiểu Chicago

Ahrendt, Wolfgang, và Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.

ציטוט MLA

Ahrendt, Wolfgang, và Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.