APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.