APA Style

LAL, D, D, A., LARSEN, , K, G. (2015). Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings . : Springer Berlin, Heidelberg.

MLA Style

LAL, Deepak, D’Souza,, Akash., LARSEN, , Kim, Guldstrand. "Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings". : Springer Berlin, Heidelberg, 2015. Text.