APA aipamena

Nanda, M., & Jeppu, Y. (2020). Formal Methods for Safety and Security. 1st ed. 2018. Springer Singapore.

Chicago Style aipamena

Nanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.

MLA aipamena

Nanda, Manju, và Yogananda Jeppu. Formal Methods for Safety and Security. 1st Ed. 2018. Springer Singapore, 2020.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.