Παραπομπή APA

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

Παραπομπή Chicago Style

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% ακριβείς.