Computer Aided Verification

MLA

Armin Biere, Roderick Bloem, Roderick Bloem, and Josef Kittler. Computer Aided Verification. Springer International Publishing, 2014.

APA

Armin Biere, R. Bloem, Bloem, R., & Kittler, J. (2014). Computer Aided Verification. Springer International Publishing.

Chicago

Armin Biere, Roderick Bloem, Roderick Bloem, and Josef Kittler. Computer Aided Verification. : Springer International Publishing, 2014.