APA Style

D'SOUZA, D. et al (2015). Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings . : Springer Berlin, Heidelberg.

MLA Style

D'SOUZA, Deepak. et al. "Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings". : Springer Berlin, Heidelberg, 2015. Text.