SpringerLink (Online service), k. t., International Conference on Verification, M. C., Bouajjani, A., & Monniaux, D. (2017). Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Cham : Springer International Publishing.
Chicago Style CitationSpringerLink (Online service), közreadó testület, Model Checking International Conference on Verification, Ahmed Bouajjani, and David Monniaux. Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Cham : Springer International Publishing, 2017.
MLA CitationSpringerLink (Online service), közreadó testület, Model Checking International Conference on Verification, Ahmed Bouajjani, and David Monniaux. Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Cham : Springer International Publishing, 2017.