APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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