Formal Verification

MLA

Seligman, Erik, et al. Formal Verification. Morgan Kaufmann, 2015.

APA

Seligman, E., Kumar, M. V Achutha Kiran, Schubert, E. Thomas, Kumar M.Tech, M. V. Achutha Kiran, & Schubert, T. (2015). Formal Verification. Morgan Kaufmann.

Chicago

Seligman, Erik, M V Achutha Kiran Kumar, E. Thomas Schubert, M. V. Achutha Kiran Kumar M.Tech, and Tom Schubert. Formal Verification. : Morgan Kaufmann, 2015.