Computer Aided Verification

MLA

Shoham, Sharon, and Yakir Vizel. Computer Aided Verification. Springer International Publishing, 2022.

APA

Shoham, S., & Vizel, Y. (2022). Computer Aided Verification. Springer International Publishing.

Chicago

Shoham, Sharon, and Yakir Vizel. Computer Aided Verification. : Springer International Publishing, 2022.