Computer Aided Verification

MLA

Touili, Tayssir, et al. Computer Aided Verification. Springer Berlin Heidelberg, 2010.

APA

Touili, T., Cook, B., Jackson, P., & Kanade, T. (2010). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago

Touili, Tayssir, Byron Cook, Paul Jackson, and Takeo Kanade. Computer Aided Verification. : Springer Berlin Heidelberg, 2010.