Automated Technology for Verification and Analysis

MLA

D'Souza, Deepak D'Souza, and K Narayan Kumar. Automated Technology for Verification and Analysis. Springer International Publishing, 2017.

APA

D'Souza, D.D'Souza, D., & Narayan Kumar, K. (2017). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

D'Souza, Deepak D'Souza, and K Narayan Kumar. Automated Technology for Verification and Analysis. : Springer International Publishing, 2017.