APA-Zitierstil (7. Ausg.)

(2010). Verification, model checking, and abstract interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings. Springer.

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.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; Proceedings. Springer, 2010.