Cita APA (7a ed.)
International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA), McMillan, K. L., & Rival, X. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings. Springer.
Cita estilo Chicago (17a ed.)
International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA), Kenneth L. McMillan, y Xavier Rival. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings. Heidelberg, Alemania: Springer.
Cita MLA (9a ed.)
International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA), et al. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.