Computer Aided Verification

MLA

Damm, Werner, and Holger Hermanns. Computer Aided Verification. Springer Berlin Heidelberg, 2007.

APA

Damm, W., & Hermanns, H. (2007). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago

Damm, Werner, and Holger Hermanns. Computer Aided Verification. : Springer Berlin Heidelberg, 2007.