Nanda, M., & Jeppu, Y. (2020). Formal Methods for Safety and Security. 1st ed. 2018. Springer Singapore.
Citação norma ChicagoNanda, Manju, e Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Citação norma MLANanda, Manju, e 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.