APA-Zitierstil (7. Ausg.)

(2010). Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Springer. https://doi.org/10.1007/978-3-642-11319-2

Chicago-Zitierstil (17. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Berlin [u.a.]: Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2.