APA Citation

International symposium, A. 2. P. P., D'Souza, D., & Narayan Kumar, K. (2017). Automated technology for verification and analysis (1 edición.). Cham, Suiza: Springer.

Chicago Style Citation

International symposium, ATVA 2017. Proceedings Pune, Deepak D'Souza, and K. Narayan Kumar. Automated Technology for Verification and Analysis. 1 edición. Cham, Suiza: Springer, 2017.

MLA Citation

International symposium, ATVA 2017. Proceedings Pune, Deepak D'Souza, and K. Narayan Kumar. Automated Technology for Verification and Analysis. 1 edición. Cham, Suiza: Springer, 2017.

Warning: These citations may not always be 100% accurate.