Formal Methods for Safety and Security

MLA

Nanda, Manju, and Yogananda Jeppu. Formal Methods for Safety and Security. Springer Singapore, 2018.

APA

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

Chicago

Nanda, Manju, and Yogananda Jeppu. Formal Methods for Safety and Security. : Springer Singapore, 2018.