Automated Technology for Verification and Analysis

MLA

Lahiri, Chao Wang, and Chao Wang. Automated Technology for Verification and Analysis. Springer International Publishing, 2018.

APA

Lahiri, L., Chao Wang, C. Wang, & Wang, C. (2018). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

Lahiri, Chao Wang, and Chao Wang. Automated Technology for Verification and Analysis. : Springer International Publishing, 2018.