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.