APA-Zitierstil (7. Ausg.)

(2013). Verification, model checking, and abstract interpretation: 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings. Springer.

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.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; Proceedings. Springer, 2013.