Nanda, M., & Jeppu, Y. (2020). Formal Methods for Safety and Security. 1st ed. 2018. Springer Singapore.
Παραπομπή Chicago StyleNanda, Manju, και Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Παραπομπή MLANanda, Manju, και Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.