Model Checking Software

MLA

Bartocci, Ezio; Ramakrishnan, C.R, and C. R Ramakrishnan. Model Checking Software. Springer Berlin Heidelberg, 2013.

APA

Bartocci, C., & Ramakrishnan, C. R. (2013). Model Checking Software. Springer Berlin Heidelberg.

Chicago

Bartocci, Ezio; Ramakrishnan, C.R., and C. R Ramakrishnan. Model Checking Software. : Springer Berlin Heidelberg, 2013.