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.