VMCAI Saint Petersburg, Fla, & Jobstmann, B. (2016). Verification, model checking, and abstract interpretation: 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings. Springer.
Chicago Style (17th ed.) CitationVMCAI Saint Petersburg, Fla, and Barbara Jobstmann. Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : Proceedings. Berlin: Springer, 2016.
MLA (9th ed.) CitationVMCAI Saint Petersburg, Fla, and Barbara Jobstmann. Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : Proceedings. Springer, 2016.
Warning: These citations may not always be 100% accurate.