SpringerLink (Online service), Rybalchenko, A., & Kuncak, V. (2012). Verification, model checking, and abstract interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Springer Berlin Heidelberg.
Style de citation Chicago (17e éd.)SpringerLink (Online service), Andrey Rybalchenko, et Viktor Kuncak. Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Style de citation MLA (8e éd.)SpringerLink (Online service), et al. Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Springer Berlin Heidelberg, 2012.