APA-Zitierstil (7. Ausg.)

(2013). Verification, model checking, and abstract interpretation: 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-35873-9

Chicago-Zitierstil (17. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; Proceedings. Berlin [u.a.]: Springer, 2013. https://doi.org/10.1007/978-3-642-35873-9.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; Proceedings. Springer, 2013. https://doi.org/10.1007/978-3-642-35873-9.