Nanda, M., & Jeppu, Y. (2020). Formal Methods for Safety and Security. 1st ed. 2018. Springer Singapore.
Dyfyniad Arddull ChicagoNanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Dyfyniad MLANanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.