Cita APA

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.

Citación estilo Chicago

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

Cita MLA

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