Computer Aided Verification

MLA

Majumdar, and Viktor Kunčak. Computer Aided Verification. Springer International Publishing, 2017.

APA

Majumdar, M., & Kunčak, V. (2017). Computer Aided Verification. Springer International Publishing.

Chicago

Majumdar, and Viktor Kunčak. Computer Aided Verification. : Springer International Publishing, 2017.