Ahrendt, W., & Tarifa, S. L. T. (2020). Integrated Formal Methods. Springer International Publishing.
Citação norma ChicagoAhrendt, Wolfgang, e Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
Citação norma MLAAhrendt, Wolfgang, e Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.