Computer Aided Verification

MLA

Dillig, and Serdar Tasiran. Computer Aided Verification. Springer International Publishing, 2019.

APA

Dillig, D., & Tasiran, S. (2019). Computer Aided Verification. Springer International Publishing.

Chicago

Dillig, and Serdar Tasiran. Computer Aided Verification. : Springer International Publishing, 2019.