Ahrendt, W., & Tarifa, S. L. T. (2020). Integrated Formal Methods. Springer International Publishing.
Dyfyniad Arddull ChicagoAhrendt, Wolfgang, và Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
Dyfyniad MLAAhrendt, Wolfgang, và Silvia Lizeth Tapia Tarifa. Integrated Formal Methods. Springer International Publishing, 2020.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.