Computer Aided Verification

MLA

Swarat Chaudhuri, Azadeh Farzan, and Azadeh Farzan. Computer Aided Verification. Springer International Publishing, 2016.

APA

Swarat Chaudhuri, A. Farzan, & Farzan, A. (2016). Computer Aided Verification. Springer International Publishing.

Chicago

Swarat Chaudhuri, Azadeh Farzan, and Azadeh Farzan. Computer Aided Verification. : Springer International Publishing, 2016.