VMCAI Paris & Bouajjani, A. (2017). Verification, model checking, and abstract interpretation: 18th international conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings. Springer.
Chicago Style (17th ed.) CitationVMCAI Paris and Ahmed Bouajjani. Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : Proceedings. Cham: Springer, 2017.
MLA (9th ed.) CitationVMCAI Paris and Ahmed Bouajjani. Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : Proceedings. Springer, 2017.
Warning: These citations may not always be 100% accurate.