Automated Technology for Verification and Analysis

MLA

Chen, Chih-Hong Cheng, and Javier Esparza. Automated Technology for Verification and Analysis. Springer International Publishing, 2019.

APA

Chen, C., Cheng, C., & Esparza, J. (2019). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

Chen, Chih-Hong Cheng, and Javier Esparza. Automated Technology for Verification and Analysis. : Springer International Publishing, 2019.