APA-Zitierstil (7. Ausg.)

(2014). Verification, model checking, and abstract interpretation: 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; Proceedings. Berlin [u.a.]: Springer, 2014.

MLA-Zitierstil (9. Ausg.)

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; Proceedings. Springer, 2014.