APA Style

LARSEN, , K, G. 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

LARSEN, , Kim, Guldstrand. 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.