Computer Aided Verification

MLA

Sharygina, Natasha; Veith, Helmut, and Helmut Veith. Computer Aided Verification. Springer Berlin Heidelberg, 2013.

APA

Sharygina, H., & Veith, H. (2013). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago

Sharygina, Natasha; Veith, Helmut, and Helmut Veith. Computer Aided Verification. : Springer Berlin Heidelberg, 2013.