Nanda, M., & Jeppu, Y. (2020). Formal Methods for Safety and Security. 1st ed. 2018. Springer Singapore.
Citación estilo ChicagoNanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Cita MLANanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 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%.