Nanda, M., & Jeppu, Y. (2020). Formal Methods for Safety and Security. 1st ed. 2018. Springer Singapore.
Citação norma ChicagoNanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Citação norma MLANanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.