Computer Aided Verification

MLA

Lahiri, and Chao Wang. Computer Aided Verification. Springer International Publishing, 2020.

APA

Lahiri, L., & Wang, C. (2020). Computer Aided Verification. Springer International Publishing.

Chicago

Lahiri, and Chao Wang. Computer Aided Verification. : Springer International Publishing, 2020.