Ahrendt, W., & Tarifa, S. L. T. (2020). Integrated Formal Methods. Springer International Publishing.
Trích dẫn kiểu ChicagoAhrendt, Wolfgang, và Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
Trích dẫn MLAAhrendt, Wolfgang, và Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.