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.

警告：这些引文格式不一定是100％准确.